@Override
  public DocType docType(final int line, final int col,
                         final String elementName, String systemID) {
    return new DocType(elementName, systemID);
  }
@Override
  public DocType docType(final int line, final int col,
                         final String elementName, String systemID)