code: protected void updateLabeling(double slack) {
          for (int w = 0; w < dim; w++) {
              if (committedWorkers[w]) {
                  labelByWorker[w] += slack;
              }
          }
          for (int j = 0; j < dim; j++) {
              if (parentWorkerByCommittedJob[j] != -1) {
                  labelByJob[j] -= slack;
              } else {
                  minSlackValueByJob[j] -= slack;
              }
          }
      }
docs: Update labels with the specified slack by adding the slack value for
  committed workers and by subtracting the slack value for committed jobs.
  In addition, update the minimum slack values appropriately.