Program: 23009
Project: 23009
Buggy source:
public void txItem(Map<String,ElementDefinitionBindingComponent> txmap,StringBuilder b,String path){
  ElementDefinitionBindingComponent tx=txmap.get(path);
  String vss="String_Node_Str";
  String vsn="String_Node_Str";
  if (tx.hasValueSet()) {
    String uri=tx.getValueSet().primitiveValue();
    ValueSet vs=context.fetchResource(ValueSet.class,canonicalise(uri));
    if (vs == null) {
      BindingResolution br=igp.resolveActualUrl(uri);
      if (br.url == null)       vss="String_Node_Str" + Utilities.escapeXml(br.display) + "String_Node_Str";
 else       if (Utilities.isAbsoluteUrl(br.url))       vss="String_Node_Str" + br.url + "String_Node_Str"+ Utilities.escapeXml(br.display)+ "String_Node_Str";
 else       vss="String_Node_Str" + prefix + br.url+ "String_Node_Str"+ Utilities.escapeXml(br.display)+ "String_Node_Str";
    }
 else {
      String p=vs.getUserString("String_Node_Str");
      if (p == null)       vss="String_Node_Str" + Utilities.escapeXml(gt(vs.getNameElement())) + "String_Node_Str"+ translate("String_Node_Str","String_Node_Str")+ "String_Node_Str";
 else       if (p.startsWith("String_Node_Str"))       vss="String_Node_Str" + p + "String_Node_Str"+ Utilities.escapeXml(gt(vs.getNameElement()))+ "String_Node_Str";
 else       vss="String_Node_Str" + p + "String_Node_Str"+ Utilities.escapeXml(gt(vs.getNameElement()))+ "String_Node_Str";
      vsn=gt(vs.getNameElement());
    }
  }
  if (vsn.equals("String_Node_Str"))   if (tx.getValueSet() != null)   System.out.println("String_Node_Str" + path + "String_Node_Str"+ tx.getValueSet().primitiveValue()+ "String_Node_Str");
 else   System.out.println("String_Node_Str" + path + "String_Node_Str");
  b.append("String_Node_Str").append(path).append("String_Node_Str").append(Utilities.escapeXml(vsn)).append("String_Node_Str").append(prefix).append("String_Node_Str").append(tx.getStrength() == null ? "String_Node_Str" : egt(tx.getStrengthElement())).append("String_Node_Str").append(tx.getStrength() == null ? "String_Node_Str" : egt(tx.getStrengthElement())).append("String_Node_Str").append(vss).append("String_Node_Str");
}

Fixed version (ground truth):
public void txItem(Map<String,ElementDefinitionBindingComponent> txmap,StringBuilder b,String path){
  ElementDefinitionBindingComponent tx=txmap.get(path);
  String vss="String_Node_Str";
  String vsn="String_Node_Str";
  if (tx.hasValueSet()) {
    String uri=tx.getValueSet().primitiveValue();
    String name=getSpecialValueSetName(uri);
    if (name != null) {
      vss="String_Node_Str" + uri + "String_Node_Str"+ Utilities.escapeXml(name)+ "String_Node_Str";
      vsn=name;
    }
 else {
      ValueSet vs=context.fetchResource(ValueSet.class,canonicalise(uri));
      if (vs == null) {
        BindingResolution br=igp.resolveActualUrl(uri);
        if (br.url == null)         vss="String_Node_Str" + Utilities.escapeXml(br.display) + "String_Node_Str";
 else         if (Utilities.isAbsoluteUrl(br.url))         vss="String_Node_Str" + br.url + "String_Node_Str"+ Utilities.escapeXml(br.display)+ "String_Node_Str";
 else         vss="String_Node_Str" + prefix + br.url+ "String_Node_Str"+ Utilities.escapeXml(br.display)+ "String_Node_Str";
      }
 else {
        String p=vs.getUserString("String_Node_Str");
        if (p == null)         vss="String_Node_Str" + Utilities.escapeXml(gt(vs.getNameElement())) + "String_Node_Str"+ translate("String_Node_Str","String_Node_Str")+ "String_Node_Str";
 else         if (p.startsWith("String_Node_Str"))         vss="String_Node_Str" + p + "String_Node_Str"+ Utilities.escapeXml(gt(vs.getNameElement()))+ "String_Node_Str";
 else         vss="String_Node_Str" + p + "String_Node_Str"+ Utilities.escapeXml(gt(vs.getNameElement()))+ "String_Node_Str";
        vsn=gt(vs.getNameElement());
      }
    }
  }
  if (vsn.equals("String_Node_Str"))   if (tx.getValueSet() != null)   System.out.println("String_Node_Str" + path + "String_Node_Str"+ tx.getValueSet().primitiveValue()+ "String_Node_Str");
 else   System.out.println("String_Node_Str" + path + "String_Node_Str");
  b.append("String_Node_Str").append(path).append("String_Node_Str").append(Utilities.escapeXml(vsn)).append("String_Node_Str").append(prefix).append("String_Node_Str").append(tx.getStrength() == null ? "String_Node_Str" : egt(tx.getStrengthElement())).append("String_Node_Str").append(tx.getStrength() == null ? "String_Node_Str" : egt(tx.getStrengthElement())).append("String_Node_Str").append(vss).append("String_Node_Str");
}