@Override
  public XmlElementDescriptor getElementDescriptor(String localName, String namespace) {
    XmlElementDescriptor descriptor = super.getElementDescriptor(localName, namespace);
    if (descriptor != null) return descriptor;
    descriptor = super.getElementDescriptor(localName, MATH_ML_NAMESPACE);
    if (descriptor != null) return descriptor;
    return super.getElementDescriptor(localName, SVG_NAMESPACE);
  }
@Override
  public XmlElementDescriptor getElementDescriptor(String localName, String namespace)