lib/browser/GraphBrowser/ParseError.java

renamed Name.give_names to Name.names and moved Name.alphanum to Symbol.alphanum

package GraphBrowser;

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