Program: 189812
Project: 189812
Buggy source:
private void exportNodeProperties(Graph graph) throws IOException {
  writer.write("String_Node_Str");
  writer.write("String_Node_Str");
  if (exportCoords) {
    writer.write("String_Node_Str");
  }
  if (exportSize) {
    writer.write("String_Node_Str");
  }
  if (exportColor) {
    writer.write("String_Node_Str");
  }
  if (exportShortLabel) {
    writer.write("String_Node_Str");
  }
  writer.write("String_Node_Str");
  for (NodeIterator nodeIterator=graph.getNodes().iterator(); nodeIterator.hasNext(); ) {
    Node node=nodeIterator.next();
    writer.write(node.getNodeData().getId());
    if (exportCoords) {
      if (!normalize) {
        writer.write("String_Node_Str" + node.getNodeData().x() + "String_Node_Str"+ node.getNodeData().y());
      }
 else {
        writer.write("String_Node_Str" + (node.getNodeData().x() - minX) / (maxX - minX) + "String_Node_Str" + (node.getNodeData().y() - minY) / (maxY - minY));
      }
    }
    if (exportSize) {
      if (!normalize) {
        writer.write("String_Node_Str" + node.getNodeData().getRadius());
      }
 else {
        writer.write("String_Node_Str" + (node.getNodeData().getRadius() - minSize) / (maxSize - minSize));
      }
    }
    if (exportColor) {
      writer.write("String_Node_Str" + ((int)(node.getNodeData().r() * 255)));
    }
    if (exportShortLabel) {
      if (node.getNodeData().getLabel() != null)       writer.write("String_Node_Str" + node.getNodeData().getLabel());
 else       writer.write("String_Node_Str" + node.getNodeData().getId());
    }
    writer.write("String_Node_Str");
  }
}

Fixed version (ground truth):
private void exportNodeProperties(Graph graph) throws IOException {
  stringBuilder.append("String_Node_Str");
  stringBuilder.append("String_Node_Str");
  if (exportCoords) {
    stringBuilder.append("String_Node_Str");
  }
  if (exportSize) {
    stringBuilder.append("String_Node_Str");
  }
  if (exportColor) {
    stringBuilder.append("String_Node_Str");
  }
  if (exportShortLabel) {
    stringBuilder.append("String_Node_Str");
  }
  stringBuilder.append("String_Node_Str");
  for (  Node node : graph.getNodes()) {
    progressTicket.progress();
    stringBuilder.append(node.getNodeData().getId());
    if (exportCoords) {
      if (!normalize) {
        stringBuilder.append("String_Node_Str").append(node.getNodeData().x()).append("String_Node_Str").append(node.getNodeData().y());
      }
 else {
        stringBuilder.append("String_Node_Str").append((node.getNodeData().x() - minX) / (maxX - minX)).append("String_Node_Str").append((node.getNodeData().y() - minY) / (maxY - minY));
      }
    }
    if (exportSize) {
      if (!normalize) {
        stringBuilder.append("String_Node_Str").append(node.getNodeData().getRadius());
      }
 else {
        stringBuilder.append("String_Node_Str").append((node.getNodeData().getRadius() - minSize) / (maxSize - minSize));
      }
    }
    if (exportColor) {
      stringBuilder.append("String_Node_Str").append((int)(node.getNodeData().r() * 255f));
    }
    if (exportShortLabel) {
      if (node.getNodeData().getLabel() != null) {
        stringBuilder.append("String_Node_Str").append(printParameter(node.getNodeData().getLabel()));
      }
 else {
        stringBuilder.append("String_Node_Str").append(printParameter(node.getNodeData().getId()));
      }
    }
    stringBuilder.append("String_Node_Str");
  }
}