docs: void unregisterWorkerMax(String name) {
          synchronized (workers) {
              Integer val = workers.remove(name);
              if (val != null) {
                  total -= val;
              }
          }
      }