final boolean isWhitespace(char c)
    {
        switch ((int) c) {
            case 0x20:
            case 0x09:
            case 0x0d:
            case 0x0a:
                return true;
            default:
                return false;
        }
    }