if("CATALOG".equals(name))
if("CATALOG".equals(name) || "MODES".equals(name))
	public void doctypeDecl(String name, String publicId,		String systemId) throws Exception	{		if("CATALOG".equals(name))			return;		Log.log(Log.ERROR,this,directory + "catalog: DOCTYPE must be CATALOG");	}