docs: public synchronized void doneTask(int stealerId, int donorId) {
          removeNodesFromWorkerList(Arrays.asList(stealerId, donorId));
          numTasksExecuting--;
          doneSignal.countDown();
          // Try and schedule more tasks now that resources may be available to do
          // so.
          scheduleMoreTasks();
      }