Program: 143058
Project: 143058
Buggy source:
private void defaultNodeColumns(Graph graph){
  NodeColumnsGDF labelColumn=new NodeColumnsGDF("String_Node_Str"){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      String label=node.getNodeData().getLabel();
      if (label != null) {
        String quote=(simpleQuotes) ? "String_Node_Str" : "String_Node_Str";
        builder.append(quote);
        builder.append(label);
        builder.append(quote);
      }
    }
  }
;
  NodeColumnsGDF visibleColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      builder.append(true);
    }
  }
;
  NodeColumnsGDF labelVisibleColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      builder.append(node.getNodeData().getTextData().isVisible());
    }
  }
;
  NodeColumnsGDF widthColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.DOUBLE){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      float size=node.getNodeData().getSize();
      if (normalize) {
        size=(size - minSize) / (maxSize - minSize);
      }
      builder.append(size);
    }
  }
;
  NodeColumnsGDF heightColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.DOUBLE){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      float size=node.getNodeData().getSize();
      if (normalize) {
        size=(size - minSize) / (maxSize - minSize);
      }
      builder.append(size);
    }
  }
;
  NodeColumnsGDF xColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.DOUBLE){
    @Override public boolean isEnable(){
      return exportPosition;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      float x=node.getNodeData().x();
      if (normalize && x != 0.0) {
        x=(x - minX) / (maxX - minX);
      }
      builder.append(x);
    }
  }
;
  NodeColumnsGDF yColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.DOUBLE){
    @Override public boolean isEnable(){
      return exportPosition;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      float y=node.getNodeData().y();
      if (normalize && y != 0.0) {
        y=(y - minY) / (maxY - minY);
      }
      builder.append(y);
    }
  }
;
  NodeColumnsGDF colorColumn=new NodeColumnsGDF("String_Node_Str"){
    @Override public boolean isEnable(){
      return exportColors;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      String quote=(simpleQuotes) ? "String_Node_Str" : "String_Node_Str";
      builder.append(quote);
      builder.append((int)(node.getNodeData().r() * 255f));
      builder.append("String_Node_Str");
      builder.append((int)(node.getNodeData().g() * 255f));
      builder.append("String_Node_Str");
      builder.append((int)(node.getNodeData().b() * 255f));
      builder.append(quote);
    }
  }
;
  NodeColumnsGDF fixedColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      builder.append(node.getNodeData().isFixed());
    }
  }
;
  NodeColumnsGDF styleColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.INT){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
    }
  }
;
  defaultNodeColumnsGDFs=new NodeColumnsGDF[10];
  defaultNodeColumnsGDFs[0]=labelColumn;
  defaultNodeColumnsGDFs[1]=visibleColumn;
  defaultNodeColumnsGDFs[2]=labelVisibleColumn;
  defaultNodeColumnsGDFs[3]=widthColumn;
  defaultNodeColumnsGDFs[4]=heightColumn;
  defaultNodeColumnsGDFs[5]=xColumn;
  defaultNodeColumnsGDFs[6]=yColumn;
  defaultNodeColumnsGDFs[7]=colorColumn;
  defaultNodeColumnsGDFs[8]=fixedColumn;
  defaultNodeColumnsGDFs[9]=styleColumn;
}

Fixed version (ground truth):
private void defaultNodeColumns(Graph graph){
  NodeColumnsGDF labelColumn=new NodeColumnsGDF("String_Node_Str"){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      String label=node.getNodeData().getLabel();
      if (label != null) {
        String quote=!useQuotes ? "String_Node_Str" : simpleQuotes ? "String_Node_Str" : "String_Node_Str";
        builder.append(quote);
        builder.append(label);
        builder.append(quote);
      }
    }
  }
;
  NodeColumnsGDF visibleColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return exportVisibility;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      builder.append(true);
    }
  }
;
  NodeColumnsGDF labelVisibleColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return exportVisibility;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      builder.append(node.getNodeData().getTextData().isVisible());
    }
  }
;
  NodeColumnsGDF widthColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.DOUBLE){
    @Override public boolean isEnable(){
      return exportPosition;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      float size=node.getNodeData().getSize();
      if (normalize) {
        size=(size - minSize) / (maxSize - minSize);
      }
      builder.append(size);
    }
  }
;
  NodeColumnsGDF heightColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.DOUBLE){
    @Override public boolean isEnable(){
      return exportPosition;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      float size=node.getNodeData().getSize();
      if (normalize) {
        size=(size - minSize) / (maxSize - minSize);
      }
      builder.append(size);
    }
  }
;
  NodeColumnsGDF xColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.DOUBLE){
    @Override public boolean isEnable(){
      return exportPosition;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      float x=node.getNodeData().x();
      if (normalize && x != 0.0) {
        x=(x - minX) / (maxX - minX);
      }
      builder.append(x);
    }
  }
;
  NodeColumnsGDF yColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.DOUBLE){
    @Override public boolean isEnable(){
      return exportPosition;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      float y=node.getNodeData().y();
      if (normalize && y != 0.0) {
        y=(y - minY) / (maxY - minY);
      }
      builder.append(y);
    }
  }
;
  NodeColumnsGDF colorColumn=new NodeColumnsGDF("String_Node_Str"){
    @Override public boolean isEnable(){
      return exportColors;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      String quote="String_Node_Str";
      builder.append(quote);
      builder.append((int)(node.getNodeData().r() * 255f));
      builder.append("String_Node_Str");
      builder.append((int)(node.getNodeData().g() * 255f));
      builder.append("String_Node_Str");
      builder.append((int)(node.getNodeData().b() * 255f));
      builder.append(quote);
    }
  }
;
  NodeColumnsGDF fixedColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return exportVisibility;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
      builder.append(node.getNodeData().isFixed());
    }
  }
;
  NodeColumnsGDF styleColumn=new NodeColumnsGDF("String_Node_Str",DataTypeGDF.INT){
    @Override public boolean isEnable(){
      return false;
    }
    @Override public void writeData(    StringBuilder builder,    Node node){
    }
  }
;
  defaultNodeColumnsGDFs=new NodeColumnsGDF[10];
  defaultNodeColumnsGDFs[0]=labelColumn;
  defaultNodeColumnsGDFs[1]=visibleColumn;
  defaultNodeColumnsGDFs[2]=labelVisibleColumn;
  defaultNodeColumnsGDFs[3]=widthColumn;
  defaultNodeColumnsGDFs[4]=heightColumn;
  defaultNodeColumnsGDFs[5]=xColumn;
  defaultNodeColumnsGDFs[6]=yColumn;
  defaultNodeColumnsGDFs[7]=colorColumn;
  defaultNodeColumnsGDFs[8]=fixedColumn;
  defaultNodeColumnsGDFs[9]=styleColumn;
}