if (!(ctx instanceof DomDoctype)) { return; }
  public void elementDecl(String name, String model)    throws SAXException  {    if (interrupted)      {        return;      }    DomDoctype doctype = (DomDoctype) ctx;    doctype.elementDecl(name, model);  }