handler.verror ("Duplicate notation name decl: " + nname);
handler.verror("Duplicate notation name decl: " + nname); }
    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);    }