getXmlName        105 defs/Defs.java         xmlNameToAttribute.put(ad.getXmlName(), ad);
getXmlName        699 defs/Defs.java         out.println("        \"" + ad.getXmlName() + "\",");
getXmlName        797 defs/Defs.java             if (ad.getXmlName().equals(xmlName)) {
getXmlName        832 defs/Defs.java             String xmlName = ad.getXmlName();