Program: 191352
Project: 191352
Buggy source:
static void dumpHelp(PrintWriter pw,boolean dumping){
  if (dumping) {
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
  }
 else {
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
  }
}

Fixed version (ground truth):
static void dumpHelp(PrintWriter pw,boolean dumping){
  if (dumping) {
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
  }
 else {
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
    pw.println("String_Node_Str");
  }
}