for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item);
for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item);
for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item);
for (final ProtegeOWLReasonerInfo plugin : factoriesList) { JRadioButtonMenuItem item = new JRadioButtonMenuItem(plugin.getReasonerName()); item.setSelected(mngr.getOWLReasonerManager().getCurrentReasonerFactoryId().equals(plugin.getReasonerId())); reasonerMenu.add(item); bg.add(item);