Esempio n. 1
0
 /* pickCls doesn't care about sorting order. */
 private OWLNamedClass chooseClass() {
   return (OWLNamedClass)
       DisplayUtilities.pickCls(
           (Component) this,
           okb,
           CollectionUtilities.createCollection(okb.getOWLThingClass()),
           "Select a class");
 }