Program: 24107
Project: 24107
Buggy source:
private String generateHumanSummary(ConformancePackage pack,Profile profile){
  try {
    if ("String_Node_Str".equalsIgnoreCase(pack.metadata("String_Node_Str")))     return "String_Node_Str";
    if (profile.getDifferential() == null)     return "String_Node_Str";
    StringBuilder tx=new StringBuilder();
    StringBuilder card=new StringBuilder();
    StringBuilder fixed=new StringBuilder();
    StringBuilder ext=new StringBuilder();
    StringBuilder slices=new StringBuilder();
    for (    ElementDefinition ed : profile.getDifferential().getElement()) {
      if (ed.hasBinding()) {
        String s=summariseBinding(ed.getBinding(),ed.getPath(),hasType(ed,"String_Node_Str"));
        if (s != null)         tx.append(s);
      }
      if (ed.getMin() == 1)       card.append("String_Node_Str").append(ed.getPath()).append("String_Node_Str");
 else       if ("String_Node_Str".equals(ed.getMax()))       card.append("String_Node_Str").append(ed.getPath()).append("String_Node_Str");
      if (ed.hasFixed())       fixed.append("String_Node_Str").append(ed.getPath()).append("String_Node_Str").append(summariseValue(ed.getFixed())).append("String_Node_Str");
 else       if (ed.hasPattern())       fixed.append("String_Node_Str").append(ed.getPath()).append("String_Node_Str").append(summariseValue(ed.getPattern())).append("String_Node_Str");
      if (ed.getPath().endsWith("String_Node_Str"))       ext.append(summariseExtension(ed.getType(),false,ed.getPath()));
 else       if (ed.getPath().endsWith("String_Node_Str"))       ext.append(summariseExtension(ed.getType(),true,ed.getPath()));
    }
    StringBuilder res=new StringBuilder("String_Node_Str");
    if (tx.length() > 0)     res.append("String_Node_Str").append(tx.toString()).append("String_Node_Str");
    if (card.length() > 0)     res.append("String_Node_Str").append(card.toString()).append("String_Node_Str");
    if (fixed.length() > 0)     res.append("String_Node_Str").append(fixed.toString()).append("String_Node_Str");
    if (ext.length() > 0)     res.append("String_Node_Str").append(ext.toString()).append("String_Node_Str");
    return res.toString();
  }
 catch (  Exception e) {
    return "String_Node_Str" + Utilities.escapeXml(e.getMessage()) + "String_Node_Str";
  }
}

Fixed version (ground truth):
private String generateHumanSummary(ConformancePackage pack,Profile profile){
  try {
    if ("String_Node_Str".equalsIgnoreCase(pack.metadata("String_Node_Str")))     return "String_Node_Str";
    if (profile.getDifferential() == null)     return "String_Node_Str";
    StringBuilder tx=new StringBuilder();
    StringBuilder card=new StringBuilder();
    StringBuilder fixed=new StringBuilder();
    StringBuilder ext=new StringBuilder();
    for (    ElementDefinition ed : profile.getDifferential().getElement()) {
      if (ed.hasBinding()) {
        String s=summariseBinding(ed.getBinding(),ed.getPath(),hasType(ed,"String_Node_Str"));
        if (s != null)         tx.append(s);
      }
      if (ed.getMin() == 1)       card.append("String_Node_Str").append(ed.getPath()).append("String_Node_Str");
 else       if ("String_Node_Str".equals(ed.getMax()))       card.append("String_Node_Str").append(ed.getPath()).append("String_Node_Str");
      if (ed.hasFixed())       fixed.append("String_Node_Str").append(ed.getPath()).append("String_Node_Str").append(summariseValue(ed.getFixed())).append("String_Node_Str");
 else       if (ed.hasPattern())       fixed.append("String_Node_Str").append(ed.getPath()).append("String_Node_Str").append(summariseValue(ed.getPattern())).append("String_Node_Str");
      if (ed.getPath().endsWith("String_Node_Str"))       ext.append(summariseExtension(ed.getType(),false,ed.getPath()));
 else       if (ed.getPath().endsWith("String_Node_Str"))       ext.append(summariseExtension(ed.getType(),true,ed.getPath()));
    }
    StringBuilder res=new StringBuilder("String_Node_Str");
    if (tx.length() > 0)     res.append("String_Node_Str").append(tx.toString()).append("String_Node_Str");
    if (card.length() > 0)     res.append("String_Node_Str").append(card.toString()).append("String_Node_Str");
    if (fixed.length() > 0)     res.append("String_Node_Str").append(fixed.toString()).append("String_Node_Str");
    if (ext.length() > 0)     res.append("String_Node_Str").append(ext.toString()).append("String_Node_Str");
    return res.toString();
  }
 catch (  Exception e) {
    return "String_Node_Str" + Utilities.escapeXml(e.getMessage()) + "String_Node_Str";
  }
}