diff -r fac2aa7618ed -r 9170772bf420 lib/browser/GraphBrowser/ParseError.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/browser/GraphBrowser/ParseError.java	Wed May 07 17:41:23 2003 +0200
@@ -0,0 +1,5 @@
+package GraphBrowser;
+
+class ParseError extends Exception {
+	public ParseError(String s) { super(s); }
+}