lib/browser/GraphBrowser/Graph.java

--- a/lib/browser/GraphBrowser/Graph.java	Wed May 07 17:40:48 2003 +0200
+++ b/lib/browser/GraphBrowser/Graph.java	Wed May 07 17:41:23 2003 +0200
@@ -14,10 +14,6 @@
 import java.awt.*;
 import java.io.*;
 
-class ParseError extends Exception {
-	public ParseError(String s) { super(s); }
-}
-
 public class Graph {
 	/**** parameters for layout ****/