lib/browser/GraphBrowser/Graph.java

 package GraphBrowser;
 
 import java.util.*;
 import java.awt.*;
 import java.io.*;
-
-class ParseError extends Exception {
-	public ParseError(String s) { super(s); }
-}
 
 public class Graph {
 	/**** parameters for layout ****/
 
 	public int box_height=0;