/** 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(); }