Program: 72990
Project: 72990
Buggy source:
public void initialize() throws IOException {
  rf=new RandomAccessFileOrArray(fileName);
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str" + "String_Node_Str" + Util.div(head.xMin,head.unitsPerEm) + "String_Node_Str"+ Util.div(head.yMin,head.unitsPerEm)+ "String_Node_Str"+ Util.div(head.xMax,head.unitsPerEm)+ "String_Node_Str"+ Util.div(head.yMax,head.unitsPerEm)+ "String_Node_Str");
  out.println("String_Node_Str");
  String psFontName=toPSString(fontName);
  out.println("String_Node_Str" + psFontName);
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  if (hasTable("String_Node_Str")) {
    output(out,"String_Node_Str",getName(notice));
    output(out,"String_Node_Str",getName(familyName));
    output(out,"String_Node_Str",getName(fullName));
    output(out,"String_Node_Str",getName(version));
  }
  if (hasTable("String_Node_Str")) {
    out.println("String_Node_Str" + italicAngle);
    out.println("String_Node_Str" + isFixedPitch);
    out.println("String_Node_Str" + underlinePosition);
    out.println("String_Node_Str" + underlineThickness);
  }
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  outputSfnts(out);
  out.println("String_Node_Str" + psFontName);
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  int[] tableLocation=(int[])positionTables.get("String_Node_Str");
  int locaLength=tableLocation[1];
  int glyphCount=locaLength / head.locaBytesPerEntry + 1;
  out.println("String_Node_Str" + glyphCount);
  out.println("String_Node_Str" + glyphCount + "String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
}

Fixed version (ground truth):
public void initialize() throws IOException {
  int[] tableLocation=(int[])positionTables.get("String_Node_Str");
  int locaLength=tableLocation[1];
  int glyphCount=locaLength / head.locaBytesPerEntry + 1;
  rf=new RandomAccessFileOrArray(fileName);
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str" + "String_Node_Str" + Util.div(head.xMin,head.unitsPerEm) + "String_Node_Str"+ Util.div(head.yMin,head.unitsPerEm)+ "String_Node_Str"+ Util.div(head.xMax,head.unitsPerEm)+ "String_Node_Str"+ Util.div(head.yMax,head.unitsPerEm)+ "String_Node_Str");
  out.println("String_Node_Str");
  String psFontName=toPSString(fontName);
  out.println("String_Node_Str" + psFontName);
  out.println("String_Node_Str");
  out.println("String_Node_Str" + glyphCount + "String_Node_Str");
  out.println("String_Node_Str");
  if (hasTable("String_Node_Str")) {
    output(out,"String_Node_Str",getName(notice));
    output(out,"String_Node_Str",getName(familyName));
    output(out,"String_Node_Str",getName(fullName));
    output(out,"String_Node_Str",getName(version));
  }
  if (hasTable("String_Node_Str")) {
    out.println("String_Node_Str" + italicAngle);
    out.println("String_Node_Str" + isFixedPitch);
    out.println("String_Node_Str" + underlinePosition);
    out.println("String_Node_Str" + underlineThickness);
  }
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  outputSfnts(out);
  out.println("String_Node_Str" + psFontName);
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str" + glyphCount);
  out.println("String_Node_Str" + glyphCount + "String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
  out.println("String_Node_Str");
}