class ParseSpaceException extends Exception
{
  ParseSpaceException(String message) { super(message); }
}