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