XmlElementDescriptor (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); }