Program: 142692
Project: 142692
Buggy source:
private void defaultEdgeColumns(final Graph graph){
  EdgeColumnsGDF labelColumn=new EdgeColumnsGDF("String_Node_Str"){
    @Override public boolean isEnable(){
      return edgeLabels;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      String label=edge.getEdgeData().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);
      }
    }
  }
;
  EdgeColumnsGDF weightColumn=new EdgeColumnsGDF("String_Node_Str",DataTypeGDF.DOUBLE){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      builder.append(edge.getWeight(visibleInterval.getLow(),visibleInterval.getHigh()));
    }
  }
;
  EdgeColumnsGDF directedColumn=new EdgeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      builder.append(graph.isDirected(edge));
    }
  }
;
  EdgeColumnsGDF colorColumn=new EdgeColumnsGDF("String_Node_Str"){
    @Override public boolean isEnable(){
      return exportColors && edgeColors;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      if (edge.getEdgeData().r() != -1) {
        String quote="String_Node_Str";
        builder.append(quote);
        builder.append((int)(edge.getEdgeData().r() * 255f));
        builder.append("String_Node_Str");
        builder.append((int)(edge.getEdgeData().g() * 255f));
        builder.append("String_Node_Str");
        builder.append((int)(edge.getEdgeData().b() * 255f));
        builder.append(quote);
      }
    }
  }
;
  EdgeColumnsGDF visibleColumn=new EdgeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return exportVisibility;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      builder.append(true);
    }
  }
;
  EdgeColumnsGDF labelVisibleColumn=new EdgeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return exportVisibility;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      builder.append(edge.getEdgeData().getTextData().isVisible());
    }
  }
;
  defaultEdgeColumnsGDFs=new EdgeColumnsGDF[6];
  defaultEdgeColumnsGDFs[0]=labelColumn;
  defaultEdgeColumnsGDFs[1]=weightColumn;
  defaultEdgeColumnsGDFs[2]=directedColumn;
  defaultEdgeColumnsGDFs[3]=colorColumn;
  defaultEdgeColumnsGDFs[4]=visibleColumn;
  defaultEdgeColumnsGDFs[5]=labelVisibleColumn;
}

Fixed version (ground truth):
private void defaultEdgeColumns(final Graph graph){
  EdgeColumnsGDF labelColumn=new EdgeColumnsGDF("String_Node_Str"){
    @Override public boolean isEnable(){
      return edgeLabels;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      String label=edge.getEdgeData().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);
      }
    }
  }
;
  EdgeColumnsGDF weightColumn=new EdgeColumnsGDF("String_Node_Str",DataTypeGDF.DOUBLE){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      builder.append(edge.getWeight(visibleInterval.getLow(),visibleInterval.getHigh()));
    }
  }
;
  EdgeColumnsGDF directedColumn=new EdgeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return true;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      builder.append(graph.isDirected(edge));
    }
  }
;
  EdgeColumnsGDF colorColumn=new EdgeColumnsGDF("String_Node_Str"){
    @Override public boolean isEnable(){
      return exportColors && edgeColors;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      if (edge.getEdgeData().r() != -1) {
        String quote="String_Node_Str";
        builder.append(quote);
        builder.append((int)(edge.getEdgeData().r() * 255f));
        builder.append("String_Node_Str");
        builder.append((int)(edge.getEdgeData().g() * 255f));
        builder.append("String_Node_Str");
        builder.append((int)(edge.getEdgeData().b() * 255f));
        builder.append(quote);
      }
    }
  }
;
  EdgeColumnsGDF visibleColumn=new EdgeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return exportVisibility;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      builder.append(true);
    }
  }
;
  EdgeColumnsGDF labelVisibleColumn=new EdgeColumnsGDF("String_Node_Str",DataTypeGDF.BOOLEAN){
    @Override public boolean isEnable(){
      return exportVisibility;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
      builder.append(edge.getEdgeData().getTextData().isVisible());
    }
  }
;
  EdgeColumnsGDF edgeIdColumn=new EdgeColumnsGDF("String_Node_Str",DataTypeGDF.VARCHAR){
    @Override public boolean isEnable(){
      return false;
    }
    @Override public void writeData(    StringBuilder builder,    Edge edge){
    }
  }
;
  defaultEdgeColumnsGDFs=new EdgeColumnsGDF[7];
  defaultEdgeColumnsGDFs[0]=edgeIdColumn;
  defaultEdgeColumnsGDFs[1]=labelColumn;
  defaultEdgeColumnsGDFs[2]=weightColumn;
  defaultEdgeColumnsGDFs[3]=directedColumn;
  defaultEdgeColumnsGDFs[4]=colorColumn;
  defaultEdgeColumnsGDFs[5]=visibleColumn;
  defaultEdgeColumnsGDFs[6]=labelVisibleColumn;
}