//Exception f�r Fehler beim Parsen

public class ParseException extends Exception
{
	ParseException(String errmsg)
	{
		super("Parse error: "+errmsg);
	}
};