lib/browser/GraphBrowser/ParseError.java

another Future.shutdown after Future.cancel_groups (cf. 0d4106850eb2);

package GraphBrowser;

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