clarified signature: proper Document.Node.Ordering conforming to equality (e.g. required in situations where theory names are ambiguous due to overlapping session directories);
package GraphBrowser;
class ParseError extends Exception {
public ParseError(String s) { super(s); }
}