JComponent optionsBox = createOptionsBox();
resultsPanel.add(optionsBox, BorderLayout.EAST);
updateGUI();
listener = new OWLModelManagerListener() {
public void handleChange(OWLModelManagerChangeEvent event) {
if (event.isType(EventType.ONTOLOGY_CLASSIFIED)) {
doQuery();
}
}