lib/browser/GraphBrowser/ParseError.java

moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!

package GraphBrowser;

class ParseError extends Exception {
	public ParseError(String s) { super(s); }
}