code: public synchronized void delete(File dir, String id) {
          if (idToNumber.remove(id) != null) {
              save(dir);
          }
      }
docs: Delete the record of a build.
  @param dir as in {@link Job#getBuildDir}
  @param id a {@link Run#getId}