getAltName        133 defs/Defs.java             if (ad.getAltName().length() > 1) {
getAltName        135 defs/Defs.java               ripeAttributeAliases.addElement(ad.getAltName());
getAltName        692 defs/Defs.java         String altname = ad.getAltName();