public void dispose() {
getOWLEditorKit().getWorkspace().unregisterOWLEntityDisplayProvider(provider);
super.dispose();
}
public void initialise() {
super.initialise();
getOWLEditorKit().getWorkspace().registerOWLEntityDisplayProvider(provider);
}
