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