Program: 142696
Project: 142696
Buggy source:
private Element createNode(Document document,Graph graph,Node n) throws Exception {
  Element nodeE=document.createElement("String_Node_Str");
  nodeE.setAttribute("String_Node_Str",n.getNodeData().getId());
  if (n.getNodeData().getLabel() != null && !n.getNodeData().getLabel().isEmpty()) {
    Element labelE=createNodeLabel(document,n);
    nodeE.appendChild(labelE);
  }
  if (attributeModel != null && exportAttributes) {
    for (    AttributeColumn column : attributeModel.getNodeTable().getColumns()) {
      if (!column.getOrigin().equals(AttributeOrigin.PROPERTY)) {
        Element attvalueE=createNodeAttvalue(document,column,n);
        if (attvalueE != null) {
          nodeE.appendChild(attvalueE);
        }
      }
    }
  }
  if (exportSize) {
    Element sizeE=createNodeSize(document,n);
    nodeE.appendChild(sizeE);
  }
  if (exportColors) {
    Element colorE=createNodeColors(document,n);
    nodeE.appendChild(colorE);
  }
  if (exportPosition) {
    Element positionXE=createNodePositionX(document,n);
    nodeE.appendChild(positionXE);
    Element positionYE=createNodePositionY(document,n);
    nodeE.appendChild(positionYE);
    if (minZ != 0f || maxZ != 0f) {
      Element positionZE=createNodePositionZ(document,n);
      nodeE.appendChild(positionZE);
    }
  }
  if (exportHierarchy && graphModel.isHierarchical()) {
    HierarchicalGraph hgraph=graphModel.getHierarchicalGraph();
    int childCount=hgraph.getChildrenCount(n);
    if (childCount != 0) {
      createNodes(document,nodeE,graph,n);
    }
  }
  Progress.progress(progressTicket);
  return nodeE;
}

Fixed version (ground truth):
private Element createNode(Document document,Graph graph,Node n) throws Exception {
  Element nodeE=document.createElement("String_Node_Str");
  nodeE.setAttribute("String_Node_Str",n.getNodeData().getId());
  if (n.getNodeData().getLabel() != null && !n.getNodeData().getLabel().isEmpty()) {
    Element labelE=createNodeLabel(document,n);
    nodeE.appendChild(labelE);
  }
  if (attributeModel != null && exportAttributes) {
    for (    AttributeColumn column : attributeModel.getNodeTable().getColumns()) {
      if (!column.getOrigin().equals(AttributeOrigin.PROPERTY)) {
        Element attvalueE=createNodeAttvalue(document,column,n);
        if (attvalueE != null) {
          nodeE.appendChild(attvalueE);
        }
      }
    }
  }
  if (exportSize) {
    Element sizeE=createNodeSize(document,n);
    nodeE.appendChild(sizeE);
  }
  if (exportColors) {
    Element colorE=createNodeColorR(document,n);
    nodeE.appendChild(colorE);
    colorE=createNodeColorG(document,n);
    nodeE.appendChild(colorE);
    colorE=createNodeColorB(document,n);
    nodeE.appendChild(colorE);
  }
  if (exportPosition) {
    Element positionXE=createNodePositionX(document,n);
    nodeE.appendChild(positionXE);
    Element positionYE=createNodePositionY(document,n);
    nodeE.appendChild(positionYE);
    if (minZ != 0f || maxZ != 0f) {
      Element positionZE=createNodePositionZ(document,n);
      nodeE.appendChild(positionZE);
    }
  }
  if (exportHierarchy && graphModel.isHierarchical()) {
    HierarchicalGraph hgraph=graphModel.getHierarchicalGraph();
    int childCount=hgraph.getChildrenCount(n);
    if (childCount != 0) {
      createNodes(document,nodeE,graph,n);
    }
  }
  Progress.progress(progressTicket);
  return nodeE;
}