@Override public void dispose() { if (man != null) { man.removeOntologyChangeListener(changeListener); } }
public void dispose() { kb = null; manager.removeOntologyChangeListener(this); }
@Override public void dispose() { if (man != null) { man.removeOntologyChangeListener(changeListener); } }
public void dispose() { kb = null; manager.removeOntologyChangeListener(this); }