Program: 54381
Project: 54381
Buggy source:
public void makeTopLevelShell() throws IOException {
  String permutationId=getPermutationId();
  PrintWriter outFile=new PrintWriter(getOutFile("String_Node_Str" + "String_Node_Str" + getPermutationId() + "String_Node_Str"));
  addStandardHtmlProlog(outFile,"String_Node_Str" + permutationId,"String_Node_Str" + permutationId,"String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str" + globalInformation.getInitialCodeBreakdown().sizeAllCode + "String_Node_Str");
  outFile.println("String_Node_Str" + permutationId + "String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str" + globalInformation.getTotalCodeBreakdown().sizeAllCode + "String_Node_Str");
  outFile.println("String_Node_Str" + permutationId + "String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str" + globalInformation.getLeftoversBreakdown().sizeAllCode + "String_Node_Str");
  outFile.println("String_Node_Str" + permutationId + "String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  if (globalInformation.getSplitPointToLocation().size() > 1) {
    int numSplitPoints=globalInformation.getSplitPointToLocation().size();
    float maxSize=globalInformation.getTotalCodeBreakdown().sizeAllCode;
    for (int i=FRAGMENT_NUMBER_TOTAL_PROGRAM; i <= numSplitPoints + 1; i++) {
      SizeBreakdown breakdown;
      if (i == FRAGMENT_NUMBER_TOTAL_PROGRAM) {
        continue;
      }
 else       if (i == numSplitPoints + 1) {
        continue;
      }
 else       if (i == FRAGMENT_NUMBER_INITIAL_DOWNLOAD) {
        continue;
      }
 else {
        breakdown=globalInformation.splitPointCodeBreakdown(i);
      }
      String drillDownFileName=shellFileName(breakdown,getPermutationId());
      String splitPointDescription=globalInformation.getSplitPointToLocation().get(i);
      float size=breakdown.sizeAllCode;
      float ratio;
      ratio=(size / maxSize) * 100;
      outFile.println("String_Node_Str");
      outFile.println("String_Node_Str" + i + "String_Node_Str");
      outFile.println("String_Node_Str" + drillDownFileName + "String_Node_Str"+ splitPointDescription+ "String_Node_Str");
      outFile.println("String_Node_Str");
      outFile.println("String_Node_Str");
      outFile.println("String_Node_Str" + ratio + "String_Node_Str");
      outFile.println("String_Node_Str");
      outFile.println((int)size + "String_Node_Str" + formatNumber(ratio)+ "String_Node_Str");
      outFile.println("String_Node_Str");
      outFile.println("String_Node_Str");
    }
  }
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  addStandardHtmlEnding(outFile);
  outFile.close();
}

Fixed version (ground truth):
public void makeTopLevelShell() throws IOException {
  String permutationId=getPermutationId();
  PrintWriter outFile=new PrintWriter(getOutFile("String_Node_Str" + "String_Node_Str" + getPermutationId() + "String_Node_Str"));
  addStandardHtmlProlog(outFile,"String_Node_Str" + permutationId,"String_Node_Str" + permutationId,"String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str" + globalInformation.getTotalCodeBreakdown().sizeAllCode + "String_Node_Str");
  outFile.println("String_Node_Str" + permutationId + "String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str" + globalInformation.getInitialCodeBreakdown().sizeAllCode + "String_Node_Str");
  outFile.println("String_Node_Str" + permutationId + "String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str" + globalInformation.getLeftoversBreakdown().sizeAllCode + "String_Node_Str");
  outFile.println("String_Node_Str" + permutationId + "String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  if (globalInformation.getSplitPointToLocation().size() >= 1) {
    int numSplitPoints=globalInformation.getSplitPointToLocation().size();
    float maxSize=globalInformation.getTotalCodeBreakdown().sizeAllCode;
    for (int i=FRAGMENT_NUMBER_TOTAL_PROGRAM; i <= numSplitPoints + 1; i++) {
      SizeBreakdown breakdown;
      if (i == FRAGMENT_NUMBER_TOTAL_PROGRAM) {
        continue;
      }
 else       if (i == numSplitPoints + 1) {
        continue;
      }
 else       if (i == FRAGMENT_NUMBER_INITIAL_DOWNLOAD) {
        continue;
      }
 else {
        breakdown=globalInformation.splitPointCodeBreakdown(i);
      }
      String drillDownFileName=shellFileName(breakdown,getPermutationId());
      String splitPointDescription=globalInformation.getSplitPointToLocation().get(i);
      float size=breakdown.sizeAllCode;
      float ratio;
      ratio=(size / maxSize) * 100;
      outFile.println("String_Node_Str");
      outFile.println("String_Node_Str" + i + "String_Node_Str");
      outFile.println("String_Node_Str" + drillDownFileName + "String_Node_Str"+ splitPointDescription+ "String_Node_Str");
      outFile.println("String_Node_Str");
      outFile.println("String_Node_Str");
      outFile.println("String_Node_Str" + ratio + "String_Node_Str");
      outFile.println("String_Node_Str");
      outFile.println((int)size + "String_Node_Str" + formatNumber(ratio)+ "String_Node_Str");
      outFile.println("String_Node_Str");
      outFile.println("String_Node_Str");
    }
  }
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  outFile.println("String_Node_Str");
  addStandardHtmlEnding(outFile);
  outFile.close();
}