getXmlName        94 defs/Defs.java         xmlNameToAttribute.put(ad.getXmlName(), ad);
getXmlName       606 defs/Defs.java         out.println("        \"" + ad.getXmlName() + "\",");
getXmlName       704 defs/Defs.java             if (ad.getXmlName().equals(xmlName)) {
getXmlName       725 defs/Defs.java             String xmlName = ad.getXmlName();