lib/browser/GraphBrowser/ParseError.java

replaced Proof.get_goal state by Proof.flat_goal state, which provides the standard view on goals for (semi)automated tools;

package GraphBrowser;

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