class ParseError extends Exception {
    ParseError (String msg) { 
	super(msg);
    }
}