public static String normalizeXMLName(mir.util.xml.XMLName aName) {
String result = aName.getLocalName();
if (aName.getPrefix().length() > 0)
public static String normalizeXMLName(mir.util.xml.XMLName aName) {
String result = aName.getLocalName();
if (aName.getPrefix().length() > 0)