numObjectsProcessed++; numObjectsProcessedThisRun++;
    void writeToLog(NumberedObject numObj) {      synchronized (log) {	try {	  log.writeObject(numObj);	}	catch (IOException ioe) {	  logFailure("putObject: error writing " + numObj + " to log file! (" +		     ioe + ")");	}	numObjectsProcessed++;	numObjectsProcessedThisRun++;      }    }