public void writeGraphToFile(int MAX_CHARS) throws java.io.IOException { super.addln(end_graph()); super.writeGraphToFile(getDotSource().getBytes(), new File(_filename + ".dot")); super.writeGraphToFile( getGraph(truncateLabels(getDotSource(), MAX_CHARS)), new File(_filename + ".gif")); }