private void setNotation (String nname, String ids [])
private void setNotation(String nname, ExternalIdentifiers ids)
    private void setNotation (String nname, String ids [])    throws SAXException    {	if (skippedPE)	    return;	handler.notationDecl (nname, ids);	if (notationInfo.get (nname) == null)	    notationInfo.put (nname, nname);	else	    // VC: Unique Notation Name	    handler.verror ("Duplicate notation name decl: " + nname);    }