Program: 191356
Project: 191356
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");
  }
}