Program: 16491
Project: 16491
Buggy source:
@Override public List<String> getUserConfigHelp(){
  List<String> params=super.getUserConfigHelp();
  params.add("String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str");
  StringBuilder symmTypes=new StringBuilder("String_Node_Str");
  SymmetryType[] vals=SymmetryType.values();
  if (vals.length == 1) {
    symmTypes.append(vals[0].name());
  }
 else   if (vals.length > 1) {
    for (int i=0; i < vals.length - 1; i++) {
      symmTypes.append(vals[i].name());
      symmTypes.append("String_Node_Str");
    }
    symmTypes.append("String_Node_Str");
    symmTypes.append(vals[vals.length - 1].name());
  }
  params.add(symmTypes.toString());
  StringBuilder orderTypes=new StringBuilder("String_Node_Str");
  OrderDetectorMethod[] vals2=OrderDetectorMethod.values();
  if (vals2.length == 1) {
    orderTypes.append(vals2[0].name());
  }
 else   if (vals2.length > 1) {
    for (int i=0; i < vals2.length - 1; i++) {
      orderTypes.append(vals2[i].name());
      orderTypes.append("String_Node_Str");
    }
    orderTypes.append("String_Node_Str");
    orderTypes.append(vals[vals.length - 1].name());
  }
  params.add(orderTypes.toString());
  StringBuilder refineTypes=new StringBuilder("String_Node_Str");
  RefineMethod[] values=RefineMethod.values();
  if (values.length == 1) {
    refineTypes.append(values[0].name());
  }
 else   if (values.length > 1) {
    for (int i=0; i < values.length - 1; i++) {
      refineTypes.append(values[i].name());
      refineTypes.append("String_Node_Str");
    }
    refineTypes.append("String_Node_Str");
    refineTypes.append(values[values.length - 1].name());
  }
  params.add(refineTypes.toString());
  params.add("String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str");
  params.add("String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str");
  return params;
}

Fixed version (ground truth):
@Override public List<String> getUserConfigHelp(){
  List<String> params=super.getUserConfigHelp();
  params.add("String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str");
  StringBuilder symmTypes=new StringBuilder("String_Node_Str");
  SymmetryType[] vals=SymmetryType.values();
  if (vals.length == 1) {
    symmTypes.append(vals[0].name());
  }
 else   if (vals.length > 1) {
    for (int i=0; i < vals.length - 1; i++) {
      symmTypes.append(vals[i].name());
      symmTypes.append("String_Node_Str");
    }
    symmTypes.append("String_Node_Str");
    symmTypes.append(vals[vals.length - 1].name());
  }
  params.add(symmTypes.toString());
  StringBuilder orderTypes=new StringBuilder("String_Node_Str");
  OrderDetectorMethod[] vals2=OrderDetectorMethod.values();
  if (vals2.length == 1) {
    orderTypes.append(vals2[0].name());
  }
 else   if (vals2.length > 1) {
    for (int i=0; i < vals2.length - 1; i++) {
      orderTypes.append(vals2[i].name());
      orderTypes.append("String_Node_Str");
    }
    orderTypes.append("String_Node_Str");
    orderTypes.append(vals[vals.length - 1].name());
  }
  params.add(orderTypes.toString());
  StringBuilder refineTypes=new StringBuilder("String_Node_Str");
  RefineMethod[] values=RefineMethod.values();
  if (values.length == 1) {
    refineTypes.append(values[0].name());
  }
 else   if (values.length > 1) {
    for (int i=0; i < values.length - 1; i++) {
      refineTypes.append(values[i].name());
      refineTypes.append("String_Node_Str");
    }
    refineTypes.append("String_Node_Str");
    refineTypes.append(values[values.length - 1].name());
  }
  params.add(refineTypes.toString());
  params.add("String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str"+ "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str" + "String_Node_Str"+ "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str" + "String_Node_Str");
  params.add("String_Node_Str" + "String_Node_Str");
  return params;
}