/** Updates current progress information with the provided delta. */ private final void updateFileCount(int sources, int primaryHeader, int header) { synchronized (fInfo) { fInfo.fCompletedSources += sources; fInfo.fPrimaryHeaderCount += primaryHeader; fInfo.fCompletedHeaders += header; } }