Program: 142547
Project: 142547
Buggy source:
private void printNode(Node node) throws IOException {
  printOpen("String_Node_Str");
  printTag("String_Node_Str" + node.getId());
  if (exportLabel && node.getNodeData().getLabel() != null) {
    printTag("String_Node_Str" + node.getNodeData().getLabel() + "String_Node_Str");
  }
  if (exportCoordinates || exportNodeSize || exportColor) {
    printOpen("String_Node_Str");
    if (exportCoordinates) {
      if (!normalize) {
        printTag("String_Node_Str" + node.getNodeData().x());
        printTag("String_Node_Str" + node.getNodeData().y());
        printTag("String_Node_Str" + node.getNodeData().z());
      }
 else {
        printTag("String_Node_Str" + (node.getNodeData().x() - minX) / (maxX - minX));
        printTag("String_Node_Str" + (node.getNodeData().y() - minY) / (maxY - minY));
        printTag("String_Node_Str" + (node.getNodeData().z() - minZ) / (maxZ - minZ));
      }
    }
    if (exportNodeSize) {
      if (!normalize) {
        printTag("String_Node_Str" + node.getNodeData().getSize());
        printTag("String_Node_Str" + node.getNodeData().getSize());
        printTag("String_Node_Str" + node.getNodeData().getSize());
      }
 else {
        printTag("String_Node_Str" + (node.getNodeData().getSize() - minSize) / (maxSize - minSize));
        printTag("String_Node_Str" + (node.getNodeData().getSize() - minSize) / (maxSize - minSize));
        printTag("String_Node_Str" + (node.getNodeData().getSize() - minSize) / (maxSize - minSize));
      }
    }
    if (exportColor) {
      printTag("String_Node_Str" + Integer.toString((int)(node.getNodeData().r() * 255),16) + Integer.toString((int)(node.getNodeData().g() * 255),16)+ Integer.toString((int)(node.getNodeData().b() * 255),16)+ "String_Node_Str");
    }
    printClose();
  }
  if (exportNotRecognizedElements) {
    for (int i=0; i < node.getAttributes().countValues(); i++) {
      String s=attributeModel.getNodeTable().getColumn(i).getTitle();
      if (node.getAttributes().getValue(i) != null && !s.equals("String_Node_Str") && !s.equals("String_Node_Str") && !s.equals("String_Node_Str")) {
        printTag(attributeModel.getNodeTable().getColumn(i).getTitle().replace("String_Node_Str","String_Node_Str") + "String_Node_Str" + node.getAttributes().getValue(i)+ "String_Node_Str");
      }
    }
  }
  printClose();
  progressTicket.progress();
}

Fixed version (ground truth):
private void printNode(Node node) throws IOException {
  printOpen("String_Node_Str");
  printTag("String_Node_Str" + node.getId());
  if (exportLabel && node.getNodeData().getLabel() != null) {
    printTag("String_Node_Str" + node.getNodeData().getLabel() + "String_Node_Str");
  }
  if (exportCoordinates || exportNodeSize || exportColor) {
    printOpen("String_Node_Str");
    if (exportCoordinates) {
      if (!normalize) {
        printTag("String_Node_Str" + node.getNodeData().x());
        printTag("String_Node_Str" + node.getNodeData().y());
        printTag("String_Node_Str" + node.getNodeData().z());
      }
 else {
        printTag("String_Node_Str" + (node.getNodeData().x() - minX) / (maxX - minX));
        printTag("String_Node_Str" + (node.getNodeData().y() - minY) / (maxY - minY));
        printTag("String_Node_Str" + (node.getNodeData().z() - minZ) / (maxZ - minZ));
      }
    }
    if (exportNodeSize) {
      if (!normalize) {
        printTag("String_Node_Str" + node.getNodeData().getSize());
        printTag("String_Node_Str" + node.getNodeData().getSize());
        printTag("String_Node_Str" + node.getNodeData().getSize());
      }
 else {
        printTag("String_Node_Str" + (node.getNodeData().getSize() - minSize) / (maxSize - minSize));
        printTag("String_Node_Str" + (node.getNodeData().getSize() - minSize) / (maxSize - minSize));
        printTag("String_Node_Str" + (node.getNodeData().getSize() - minSize) / (maxSize - minSize));
      }
    }
    if (exportColor) {
      printTag("String_Node_Str" + Integer.toString((int)(node.getNodeData().r() * 255),16) + Integer.toString((int)(node.getNodeData().g() * 255),16)+ Integer.toString((int)(node.getNodeData().b() * 255),16)+ "String_Node_Str");
    }
    printClose();
  }
  if (exportNotRecognizedElements) {
    for (int i=0; i < node.getAttributes().countValues(); i++) {
      String s=attributeModel.getNodeTable().getColumn(i).getTitle();
      if (node.getAttributes().getValue(i) != null && !s.equals("String_Node_Str") && !s.equals("String_Node_Str") && !s.equals("String_Node_Str")) {
        printTag(formatString(s) + "String_Node_Str" + node.getAttributes().getValue(i)+ "String_Node_Str");
      }
    }
  }
  printClose();
  progressTicket.progress();
}