public void addGeneratedFile(File file){
  generatedFiles.add(file);
}

public void addGeneratedFile ( File file ) { generatedFiles . add ( file ) ; }
adds the specified file to the list of source files generated during this batch .
