Program: 75669
Project: 75669
Buggy source:
/** 
 * Create the MakeFile.
 * @param classPath The classPath.
 * @param className The class for which the Makefile is to be generated.The makefile will have the name <i>className</i>.make.
 */
public static void generateMakeFile(String classPath,String className,Collection requiredClasses){
  StringBuffer code=new StringBuffer();
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str" + System.getProperty("String_Node_Str","String_Node_Str") + "String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str" + className + "String_Node_Str");
  Iterator i=requiredClasses.iterator();
  code.append("String_Node_Str" + "String_Node_Str");
  while (i.hasNext()) {
    String name=_classNameToMakeFileName(((SootClass)i.next()).getName());
    code.append("String_Node_Str" + name + "String_Node_Str");
  }
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str" + InterfaceFileGenerator.interfaceFileNameSuffix() + "String_Node_Str");
  code.append(className + "String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str" + "String_Node_Str");
  FileHandler.write(className + "String_Node_Str",code.toString());
}

Fixed version (ground truth):
/** 
 * Create the MakeFile.
 * @param classPath The classPath.
 * @param className The class for which the Makefile is to be generated.The makefile will have the name <i>className</i>.make.
 */
public static void generateMakeFile(String classPath,String className){
  StringBuffer code=new StringBuffer();
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str" + System.getProperty("String_Node_Str","String_Node_Str") + "String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str" + className + "String_Node_Str");
  code.append("String_Node_Str" + "String_Node_Str" + "String_Node_Str" + className + "String_Node_Str");
  Iterator i=RequiredFileGenerator.getRequiredClasses(classPath,className).iterator();
  while (i.hasNext()) {
    String name=_classNameToMakeFileName(((SootClass)i.next()).getName());
    code.append("String_Node_Str" + name + "String_Node_Str");
  }
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str" + InterfaceFileGenerator.interfaceFileNameSuffix() + "String_Node_Str");
  code.append(className + "String_Node_Str");
  code.append("String_Node_Str" + className + "String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str" + className + "String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str");
  code.append("String_Node_Str" + "String_Node_Str");
  FileHandler.write(className + "String_Node_Str",code.toString());
}