@Override
  public Element element(final int line, final int col, final String name,
                         String uri) {
    return new Element(name, uri);
  }
@Override
  public Element element(final int line, final int col, final String name,
                         String uri)