void parseWhitespace() throws java.lang.Exception
    {
        char c = readCh();
        while (isWhitespace(c)) {
            dataBufferAppend(c);
            c = readCh();
        }
        unread(c);
    }