/** 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;
   }
 }
 /** Updates current progress information with the provided delta. */
 private final void incrementRequestedFilesCount(int delta) {
   synchronized (fInfo) {
     fInfo.fRequestedFilesCount += delta;
   }
 }