/** Records that a build of a job has used this file. */
public synchronized void add(String jobFullName, int n) throws IOException {
addWithoutSaving(jobFullName, n);
save();
}
/** Records that a build of a job has used this file. */
public synchronized void add(String jobFullName, int n) throws IOException {
addWithoutSaving(jobFullName, n);
save();
}
