Program: 189819
Project: 189819
Buggy source:
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");
  }
}

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();
    if (cancel) {
      break;
    }
    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");
  }
}