public static void addUnchangedFileToList(CachedFile f){
  if (!listOfUnchangedCatalogFiles.contains(f)) {
    listOfUnchangedCatalogFiles.add(f);
  }
}

public static void addUnchangedFileToList ( CachedFile f ) { if ( ! listOfUnchangedCatalogFiles . contains ( f ) ) { listOfUnchangedCatalogFiles . add ( f ) ; } }
todo not yet used - planned for optimisation track the list of files that are part of the catalog , but are are unchanged since the last run
