Badly behaving listener on shutdown #30
Description
Closing Protégé w/ CoModIDE loaded generates the following console (and log?) output:
Firing model manager event: OWLModelManagerChangeEvent{org.protege.editor.owl.model.OWLModelManagerImpl@17ab8ba, ONTOLOGY_CLASSIFIED} *** WARNING BADLY BEHAVING LISTENER: com.comodide.editor.ComodideEditorManager *** Possible culprit (trace from when listener was added): com.comodide.editor.ComodideEditorManager.<init>(ComodideEditorManager.java:30) com.comodide.views.EditorView.initialiseOWLView(EditorView.java:36) org.protege.editor.owl.ui.view.AbstractOWLViewComponent.initialise(AbstractOWLViewComponent.java:43) org.protege.editor.core.ui.view.View.createContent(View.java:413) org.protege.editor.core.ui.view.View.createUI(View.java:220) org.protege.editor.core.ui.view.View$1.hierarchyChanged(View.java:124) java.awt.Component.processHierarchyEvent(Component.java:6700) java.awt.Component.processEvent(Component.java:6319) java.awt.Container.processEvent(Container.java:2236) java.awt.Component.dispatchEventImpl(Component.java:4889) java.awt.Container.dispatchEventImpl(Container.java:2294) java.awt.Component.dispatchEvent(Component.java:4711) java.awt.Component.createHierarchyEvents(Component.java:5549) java.awt.Container.createHierarchyEvents(Container.java:1445) java.awt.Container.createHierarchyEvents(Container.java:1441) java.awt.Container.createHierarchyEvents(Container.java:1441) java.awt.Container.createHierarchyEvents(Container.java:1441) java.awt.Container.createHierarchyEvents(Container.java:1441) java.awt.Component.show(Component.java:1639) java.awt.Component.show(Component.java:1671) java.awt.Component.setVisible(Component.java:1623) javax.swing.JComponent.setVisible(JComponent.java:2644) javax.swing.JTabbedPane.fireStateChanged(JTabbedPane.java:394) javax.swing.JTabbedPane$ModelListener.stateChanged(JTabbedPane.java:270) javax.swing.DefaultSingleSelectionModel.fireStateChanged(DefaultSingleSelectionModel.java:132) javax.swing.DefaultSingleSelectionModel.setSelectedIndex(DefaultSingleSelectionModel.java:67) javax.swing.JTabbedPane.setSelectedIndexImpl(JTabbedPane.java:616) javax.swing.JTabbedPane.setSelectedIndex(JTabbedPane.java:591) javax.swing.plaf.basic.BasicTabbedPaneUI$Handler.mousePressed(BasicTabbedPaneUI.java:3647) java.awt.AWTEventMulticaster.mousePressed(AWTEventMulticaster.java:280) java.awt.AWTEventMulticaster.mousePressed(AWTEventMulticaster.java:279) java.awt.Component.processMouseEvent(Component.java:6530) javax.swing.JComponent.processMouseEvent(JComponent.java:3324) java.awt.Component.processEvent(Component.java:6298) java.awt.Container.processEvent(Container.java:2236) java.awt.Component.dispatchEventImpl(Component.java:4889) java.awt.Container.dispatchEventImpl(Container.java:2294) java.awt.Component.dispatchEvent(Component.java:4711) java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4888) java.awt.LightweightDispatcher.processMouseEvent(Container.java:4522) java.awt.LightweightDispatcher.dispatchEvent(Container.java:4466) java.awt.Container.dispatchEventImpl(Container.java:2280) java.awt.Window.dispatchEventImpl(Window.java:2746) java.awt.Component.dispatchEvent(Component.java:4711) java.awt.EventQueue.dispatchEventImpl(EventQueue.java:758) java.awt.EventQueue.access$500(EventQueue.java:97) java.awt.EventQueue$3.run(EventQueue.java:709) java.awt.EventQueue$3.run(EventQueue.java:703) java.security.AccessController.doPrivileged(Native Method) java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:80) java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:90) java.awt.EventQueue$4.run(EventQueue.java:731) java.awt.EventQueue$4.run(EventQueue.java:729) java.security.AccessController.doPrivileged(Native Method) java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:80) java.awt.EventQueue.dispatchEvent(EventQueue.java:728) java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201) java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116) java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105) java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101) java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93) java.awt.EventDispatchThread.run(EventDispatchThread.java:82) (Listeners should be removed in the plugin dispose method!)