@Override
  public final DocType docType(String elementName, String publicID, String systemID) {
    return docType(-1, -1, elementName, publicID, systemID);
  }
@Override
  public final DocType docType(String elementName, String publicID, String systemID)