public void addFile(String file){
  checkFileNames(Collections.singleton(file));
  setFiles.add(namedForThisSegment(file));
}

public void addFile ( String file ) { checkFileNames ( Collections . singleton ( file ) ) ; setFiles . add ( namedForThisSegment ( file ) ) ; }
add this file to the set of files written for this segment .
