getChoice        362 defs/ClassDef.java       choice = ad.getChoice();
getChoice        733 defs/Defs.java             if (ad.getChoice().equals("mandatory")) {
getChoice        735 defs/Defs.java             } else if (ad.getChoice().equals("optional")) {