no longer open PolyML -- to avoid surprises within the global name space;
recovered some important PolyML bindings (NB: print and makestring cannot be rebound without loosing infinite overloading);
package GraphBrowser;
class ParseError extends Exception {
public ParseError(String s) { super(s); }
}