if (!inDTD) throw new SAXException("element decl outside DTD");
  public void elementDecl(String name, String model)    throws SAXException  {    if (interrupted)      {        return;      }    // Ignore fake element declarations generated by ValidationConsumer.    // If an element is not really declared in the DTD it will not be    // declared in the document model.    if (!(ctx instanceof DomDoctype))      {        return;      }    DomDoctype doctype = (DomDoctype) ctx;    doctype.elementDecl(name, model);  }