Program: 12972
Project: 12972
Buggy source:
/** 
 * @param xmlFile	The file to Translate
 * @param xmlOutput	The expected Output
 * @throws IOException	FIXME
 * @throws ClassNotFoundException FIXME
 */
private void xslTranslateTest(String xmlFile,String xmlOutput,String mapFile) throws IOException, ClassNotFoundException {
  VFS.getManager().resolveFile(new File("String_Node_Str"),"String_Node_Str").createFolder();
  VFS.getManager().resolveFile(new File("String_Node_Str"),"String_Node_Str").createFolder();
  VFS.getManager().resolveFile(new File("String_Node_Str"),"String_Node_Str").createFolder();
  File inFile=new File("String_Node_Str");
  Writer output=new BufferedWriter(new FileWriter(inFile));
  output.write("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str");
  output.close();
  File outFile=new File("String_Node_Str");
  output=new BufferedWriter(new FileWriter(outFile));
  output.write("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str");
  output.close();
  TextFileRecordHandler rh=new TextFileRecordHandler("String_Node_Str");
  rh.addRecord("String_Node_Str",xmlFile,Class.forName("String_Node_Str"));
  String[] argsToBePassed=new String[6];
  argsToBePassed[0]="String_Node_Str";
  argsToBePassed[1]=mapFile;
  argsToBePassed[2]="String_Node_Str";
  argsToBePassed[3]="String_Node_Str";
  argsToBePassed[4]="String_Node_Str";
  argsToBePassed[5]="String_Node_Str";
  XSLTranslator.main(argsToBePassed);
  File resultantOutput=new File("String_Node_Str");
  StringBuilder resultantXML=new StringBuilder("String_Node_Str");
  BufferedReader inputReader=new BufferedReader(new FileReader(resultantOutput));
  try {
    String line=null;
    while ((line=inputReader.readLine()) != null) {
      resultantXML.append(line);
    }
  }
  finally {
    inputReader.close();
  }
  assertEquals(resultantXML.toString(),xmlOutput);
  VFS.getManager().resolveFile("String_Node_Str").delete(new AllFileSelector());
  VFS.getManager().resolveFile("String_Node_Str").delete(new AllFileSelector());
  VFS.getManager().resolveFile("String_Node_Str").delete(new AllFileSelector());
}

Fixed version (ground truth):
/** 
 * @param xmlFile	The file to Translate
 * @param xmlOutput	The expected Output
 * @param mapFile FIXME
 * @throws IOException	FIXME
 * @throws ClassNotFoundException FIXME
 */
private void xslTranslateTest(String xmlFile,String xmlOutput,String mapFile) throws IOException, ClassNotFoundException {
  VFS.getManager().resolveFile(new File("String_Node_Str"),"String_Node_Str").createFolder();
  VFS.getManager().resolveFile(new File("String_Node_Str"),"String_Node_Str").createFolder();
  VFS.getManager().resolveFile(new File("String_Node_Str"),"String_Node_Str").createFolder();
  File inFile=new File("String_Node_Str");
  Writer output=new BufferedWriter(new FileWriter(inFile));
  output.write("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str");
  output.close();
  File outFile=new File("String_Node_Str");
  output=new BufferedWriter(new FileWriter(outFile));
  output.write("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str");
  output.close();
  TextFileRecordHandler rh=new TextFileRecordHandler("String_Node_Str");
  rh.addRecord("String_Node_Str",xmlFile,Class.forName("String_Node_Str"));
  String[] argsToBePassed=new String[6];
  argsToBePassed[0]="String_Node_Str";
  argsToBePassed[1]=mapFile;
  argsToBePassed[2]="String_Node_Str";
  argsToBePassed[3]="String_Node_Str";
  argsToBePassed[4]="String_Node_Str";
  argsToBePassed[5]="String_Node_Str";
  XSLTranslator.main(argsToBePassed);
  File resultantOutput=new File("String_Node_Str");
  StringBuilder resultantXML=new StringBuilder("String_Node_Str");
  BufferedReader inputReader=new BufferedReader(new FileReader(resultantOutput));
  try {
    String line=null;
    while ((line=inputReader.readLine()) != null) {
      resultantXML.append(line);
    }
  }
  finally {
    inputReader.close();
  }
  assertEquals(resultantXML.toString(),xmlOutput);
  VFS.getManager().resolveFile("String_Node_Str").delete(new AllFileSelector());
  VFS.getManager().resolveFile("String_Node_Str").delete(new AllFileSelector());
  VFS.getManager().resolveFile("String_Node_Str").delete(new AllFileSelector());
}