lib/browser/GraphBrowser/ParseError.java

added first-order TPTP version of Nitpick to Isabelle, so that its sources stay in sync with Isabelle and it is easier to install new versions for SystemOnTPTP and CASC -- the tool is called "isabelle nitrox" but is deliberately omitted from the tool list unless the component is explicitly enabled, to avoid clutter

package GraphBrowser;

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