Program: 11273
Project: 11273
Buggy source:
private String harmonizeMetaDataName(String aName){
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  return aName;
}

Fixed version (ground truth):
private String harmonizeMetaDataName(String aName){
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if (aName.startsWith("String_Node_Str")) {
    aName=aName.substring("String_Node_Str".length());
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  if ("String_Node_Str".equals(aName)) {
    return "String_Node_Str";
  }
  return aName;
}