Program: 142843
Project: 142843
Buggy source:
private void createKeys(Document document,Element root){
  Element nodeLabelKeyE=document.createElement("String_Node_Str");
  nodeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  nodeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  nodeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  nodeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  root.appendChild(nodeLabelKeyE);
  Element edgeLabelKeyE=document.createElement("String_Node_Str");
  edgeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  root.appendChild(edgeLabelKeyE);
  Element weightKeyE=document.createElement("String_Node_Str");
  weightKeyE.setAttribute("String_Node_Str","String_Node_Str");
  weightKeyE.setAttribute("String_Node_Str","String_Node_Str");
  weightKeyE.setAttribute("String_Node_Str","String_Node_Str");
  weightKeyE.setAttribute("String_Node_Str","String_Node_Str");
  root.appendChild(weightKeyE);
  Element edgeIdKeyE=document.createElement("String_Node_Str");
  edgeIdKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeIdKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeIdKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeIdKeyE.setAttribute("String_Node_Str","String_Node_Str");
  root.appendChild(edgeIdKeyE);
  if (exportColors) {
    Element colorKeyE=document.createElement("String_Node_Str");
    colorKeyE.setAttribute("String_Node_Str","String_Node_Str");
    colorKeyE.setAttribute("String_Node_Str","String_Node_Str");
    colorKeyE.setAttribute("String_Node_Str","String_Node_Str");
    colorKeyE.setAttribute("String_Node_Str","String_Node_Str");
    root.appendChild(colorKeyE);
  }
  if (exportPosition) {
    Element positionKeyE=document.createElement("String_Node_Str");
    positionKeyE.setAttribute("String_Node_Str","String_Node_Str");
    positionKeyE.setAttribute("String_Node_Str","String_Node_Str");
    positionKeyE.setAttribute("String_Node_Str","String_Node_Str");
    positionKeyE.setAttribute("String_Node_Str","String_Node_Str");
    root.appendChild(positionKeyE);
    Element positionKey2E=document.createElement("String_Node_Str");
    positionKey2E.setAttribute("String_Node_Str","String_Node_Str");
    positionKey2E.setAttribute("String_Node_Str","String_Node_Str");
    positionKey2E.setAttribute("String_Node_Str","String_Node_Str");
    positionKey2E.setAttribute("String_Node_Str","String_Node_Str");
    root.appendChild(positionKey2E);
    if (minZ != 0f && maxZ != 0f) {
      Element positionKey3E=document.createElement("String_Node_Str");
      positionKey3E.setAttribute("String_Node_Str","String_Node_Str");
      positionKey3E.setAttribute("String_Node_Str","String_Node_Str");
      positionKey3E.setAttribute("String_Node_Str","String_Node_Str");
      positionKey3E.setAttribute("String_Node_Str","String_Node_Str");
      root.appendChild(positionKey3E);
    }
  }
  if (exportSize) {
    Element sizeKeyE=document.createElement("String_Node_Str");
    sizeKeyE.setAttribute("String_Node_Str","String_Node_Str");
    sizeKeyE.setAttribute("String_Node_Str","String_Node_Str");
    sizeKeyE.setAttribute("String_Node_Str","String_Node_Str");
    sizeKeyE.setAttribute("String_Node_Str","String_Node_Str");
    root.appendChild(sizeKeyE);
  }
  if (attributeModel != null && exportAttributes) {
    for (    AttributeColumn column : attributeModel.getNodeTable().getColumns()) {
      if (!column.getOrigin().equals(AttributeOrigin.PROPERTY)) {
        Element attributeE=createAttribute(document,column);
        attributeE.setAttribute("String_Node_Str","String_Node_Str");
        root.appendChild(attributeE);
      }
    }
    for (    AttributeColumn column : attributeModel.getEdgeTable().getColumns()) {
      if (!column.getOrigin().equals(AttributeOrigin.PROPERTY)) {
        Element attributeE=createAttribute(document,column);
        attributeE.setAttribute("String_Node_Str","String_Node_Str");
        root.appendChild(attributeE);
      }
    }
  }
}

Fixed version (ground truth):
private void createKeys(Document document,Element root){
  Element nodeLabelKeyE=document.createElement("String_Node_Str");
  nodeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  nodeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  nodeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  nodeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  root.appendChild(nodeLabelKeyE);
  Element edgeLabelKeyE=document.createElement("String_Node_Str");
  edgeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeLabelKeyE.setAttribute("String_Node_Str","String_Node_Str");
  root.appendChild(edgeLabelKeyE);
  Element weightKeyE=document.createElement("String_Node_Str");
  weightKeyE.setAttribute("String_Node_Str","String_Node_Str");
  weightKeyE.setAttribute("String_Node_Str","String_Node_Str");
  weightKeyE.setAttribute("String_Node_Str","String_Node_Str");
  weightKeyE.setAttribute("String_Node_Str","String_Node_Str");
  root.appendChild(weightKeyE);
  Element edgeIdKeyE=document.createElement("String_Node_Str");
  edgeIdKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeIdKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeIdKeyE.setAttribute("String_Node_Str","String_Node_Str");
  edgeIdKeyE.setAttribute("String_Node_Str","String_Node_Str");
  root.appendChild(edgeIdKeyE);
  if (exportColors) {
    Element colorKeyE=document.createElement("String_Node_Str");
    colorKeyE.setAttribute("String_Node_Str","String_Node_Str");
    colorKeyE.setAttribute("String_Node_Str","String_Node_Str");
    colorKeyE.setAttribute("String_Node_Str","String_Node_Str");
    colorKeyE.setAttribute("String_Node_Str","String_Node_Str");
    root.appendChild(colorKeyE);
  }
  if (exportPosition) {
    Element positionKeyE=document.createElement("String_Node_Str");
    positionKeyE.setAttribute("String_Node_Str","String_Node_Str");
    positionKeyE.setAttribute("String_Node_Str","String_Node_Str");
    positionKeyE.setAttribute("String_Node_Str","String_Node_Str");
    positionKeyE.setAttribute("String_Node_Str","String_Node_Str");
    root.appendChild(positionKeyE);
    Element positionKey2E=document.createElement("String_Node_Str");
    positionKey2E.setAttribute("String_Node_Str","String_Node_Str");
    positionKey2E.setAttribute("String_Node_Str","String_Node_Str");
    positionKey2E.setAttribute("String_Node_Str","String_Node_Str");
    positionKey2E.setAttribute("String_Node_Str","String_Node_Str");
    root.appendChild(positionKey2E);
    if (minZ != 0f || maxZ != 0f) {
      Element positionKey3E=document.createElement("String_Node_Str");
      positionKey3E.setAttribute("String_Node_Str","String_Node_Str");
      positionKey3E.setAttribute("String_Node_Str","String_Node_Str");
      positionKey3E.setAttribute("String_Node_Str","String_Node_Str");
      positionKey3E.setAttribute("String_Node_Str","String_Node_Str");
      root.appendChild(positionKey3E);
    }
  }
  if (exportSize) {
    Element sizeKeyE=document.createElement("String_Node_Str");
    sizeKeyE.setAttribute("String_Node_Str","String_Node_Str");
    sizeKeyE.setAttribute("String_Node_Str","String_Node_Str");
    sizeKeyE.setAttribute("String_Node_Str","String_Node_Str");
    sizeKeyE.setAttribute("String_Node_Str","String_Node_Str");
    root.appendChild(sizeKeyE);
  }
  if (attributeModel != null && exportAttributes) {
    for (    AttributeColumn column : attributeModel.getNodeTable().getColumns()) {
      if (!column.getOrigin().equals(AttributeOrigin.PROPERTY)) {
        Element attributeE=createAttribute(document,column);
        attributeE.setAttribute("String_Node_Str","String_Node_Str");
        root.appendChild(attributeE);
      }
    }
    for (    AttributeColumn column : attributeModel.getEdgeTable().getColumns()) {
      if (!column.getOrigin().equals(AttributeOrigin.PROPERTY)) {
        Element attributeE=createAttribute(document,column);
        attributeE.setAttribute("String_Node_Str","String_Node_Str");
        root.appendChild(attributeE);
      }
    }
  }
}