void parseNotationDecl() throws java.lang.Exception
    {
        String nname, ids[];

        requireWhitespace();
        nname = readNmtoken(true);

        requireWhitespace();

        // Read the external identifiers.
        ids = readExternalIds(true);
        if (ids[0] == null && ids[1] == null) {
            error("external identifer missing", nname, null);
        }

        // Register the notation.
        setNotation(nname, ids[0], ids[1]);

        skipWhitespace();
        require('>');
    }