Program: 45381
Project: 45381
Buggy source:
private StringBuilder emitMetaDataComment(StringBuilder buf,String debugName,MetaDataNode meta,boolean isAttributeOfDefinition){
  buf.append("String_Node_Str");
  String tagname=meta.id;
  buf.append("String_Node_Str").append(tagname).append("String_Node_Str");
  buf.append("String_Node_Str").append(debugName).append("String_Node_Str");
  boolean has_name=false;
  if (meta.values != null) {
    for (    Value v : meta.values) {
      if (v instanceof MetaDataEvaluator.KeylessValue && has_name == false) {
        MetaDataEvaluator.KeylessValue ov=(MetaDataEvaluator.KeylessValue)v;
        buf.append("String_Node_Str").append(ov.obj).append("String_Node_Str");
        has_name=true;
        continue;
      }
      if (v instanceof MetaDataEvaluator.KeyValuePair) {
        MetaDataEvaluator.KeyValuePair kv=(MetaDataEvaluator.KeyValuePair)v;
        buf.append(kv.key).append("String_Node_Str").append(kv.obj).append("String_Node_Str");
        continue;
      }
    }
  }
 else   if (meta.id != null) {
    buf.append("String_Node_Str").append(meta.id).append("String_Node_Str");
  }
  buf.append("String_Node_Str");
  if (isAttributeOfDefinition == false) {
    if (values != null) {
      for (      Value v : values) {
        if (v instanceof MetaDataEvaluator.KeylessValue) {
          MetaDataEvaluator.KeylessValue ov=(MetaDataEvaluator.KeylessValue)v;
          buf.append(ov.obj);
          continue;
        }
        if (v instanceof MetaDataEvaluator.KeyValuePair) {
          MetaDataEvaluator.KeyValuePair kv=(MetaDataEvaluator.KeyValuePair)v;
          buf.append("String_Node_Str").append(kv.key).append("String_Node_Str").append(kv.obj).append("String_Node_Str").append(kv.key).append("String_Node_Str");
          continue;
        }
      }
    }
 else     if (id != null) {
      buf.append(id);
    }
  }
  buf.append("String_Node_Str").append(tagname).append("String_Node_Str");
  buf.append("String_Node_Str");
  return buf;
}

Fixed version (ground truth):
private StringBuilder emitMetaDataComment(StringBuilder buf,String debugName,MetaDataNode meta,boolean isAttributeOfDefinition){
  buf.append("String_Node_Str");
  String tagname=meta.id;
  buf.append("String_Node_Str").append(tagname).append("String_Node_Str");
  buf.append("String_Node_Str").append(debugName).append("String_Node_Str");
  boolean has_name=false;
  if (meta.values != null) {
    if ("String_Node_Str".equals(meta.id)) {
      boolean first=true;
      for (      Value v : meta.values) {
        if (v instanceof MetaDataEvaluator.KeylessValue) {
          MetaDataEvaluator.KeylessValue ov=(MetaDataEvaluator.KeylessValue)v;
          if (first) {
            first=false;
            buf.append("String_Node_Str");
          }
 else {
            buf.append("String_Node_Str");
          }
          buf.append(ov.obj);
        }
      }
      if (!first)       buf.append("String_Node_Str");
    }
 else {
      for (      Value v : meta.values) {
        if (v instanceof MetaDataEvaluator.KeylessValue && has_name == false) {
          MetaDataEvaluator.KeylessValue ov=(MetaDataEvaluator.KeylessValue)v;
          buf.append("String_Node_Str").append(ov.obj).append("String_Node_Str");
          has_name=true;
          continue;
        }
        if (v instanceof MetaDataEvaluator.KeyValuePair) {
          MetaDataEvaluator.KeyValuePair kv=(MetaDataEvaluator.KeyValuePair)v;
          buf.append(kv.key).append("String_Node_Str").append(kv.obj).append("String_Node_Str");
          continue;
        }
      }
    }
  }
 else   if (meta.id != null) {
    buf.append("String_Node_Str").append(meta.id).append("String_Node_Str");
  }
  buf.append("String_Node_Str");
  if (isAttributeOfDefinition == false) {
    if (values != null) {
      for (      Value v : values) {
        if (v instanceof MetaDataEvaluator.KeylessValue) {
          MetaDataEvaluator.KeylessValue ov=(MetaDataEvaluator.KeylessValue)v;
          buf.append(ov.obj);
          continue;
        }
        if (v instanceof MetaDataEvaluator.KeyValuePair) {
          MetaDataEvaluator.KeyValuePair kv=(MetaDataEvaluator.KeyValuePair)v;
          buf.append("String_Node_Str").append(kv.key).append("String_Node_Str").append(kv.obj).append("String_Node_Str").append(kv.key).append("String_Node_Str");
          continue;
        }
      }
    }
 else     if (id != null) {
      buf.append(id);
    }
  }
  buf.append("String_Node_Str").append(tagname).append("String_Node_Str");
  buf.append("String_Node_Str");
  return buf;
}