[protege-discussion] Protege Exception

[Simon White]

Just got the following exception while renaming a class in Protege Frames
Version 3.4.4 Build 579.
I don’t seem to be able to reproduce it reliably, but it does occur quite
often.

Regards,
Simon

Exception in thread "AWT-EventQueue-0"
java.util.ConcurrentModificationException

        at java.util.AbstractList$Itr.checkForComodification(Unknown Source)
        at java.util.AbstractList$Itr.next(Unknown Source)
        at edu.stanford.smi.protege.ui.InstanceDisplay.setInstance(Unknown
Sourc
e)
        at edu.stanford.smi.protege.ui.InstanceDisplay.setInstance(Unknown
Sourc
e)
        at
edu.stanford.smi.protege.widget.ClsesTab.transmitSelection(Unknown So
urce)
        at
edu.stanford.smi.protege.widget.ClsesTab$1.selectionChanged(Unknown S
ource)
        at
edu.stanford.smi.protege.util.SelectionEventDispatcher.postEvent(Unkn
own Source)
        at
edu.stanford.smi.protege.util.ListenerCollection.postEvent(Unknown So
urce)
        at
edu.stanford.smi.protege.util.ListenerCollection.postEvent(Unknown So
urce)
        at
edu.stanford.smi.protege.util.SelectableContainer.notifySelectionList
eners(Unknown Source)
        at
edu.stanford.smi.protege.util.SelectableContainer$1.selectionChanged(
Unknown Source)
        at
edu.stanford.smi.protege.util.SelectionEventDispatcher.postEvent(Unkn
own Source)
        at
edu.stanford.smi.protege.util.ListenerCollection.postEvent(Unknown So
urce)
        at
edu.stanford.smi.protege.util.ListenerCollection.postEvent(Unknown So
urce)
        at
edu.stanford.smi.protege.util.SelectableContainer.notifySelectionList
eners(Unknown Source)
        at
edu.stanford.smi.protege.util.SelectableContainer$1.selectionChanged(
Unknown Source)
        at
edu.stanford.smi.protege.util.SelectionEventDispatcher.postEvent(Unkn
own Source)
        at
edu.stanford.smi.protege.util.ListenerCollection.postEvent(Unknown So
urce)
        at
edu.stanford.smi.protege.util.ListenerCollection.postEvent(Unknown So
urce)
        at
edu.stanford.smi.protege.util.SelectableTree.notifySelectionListeners
(Unknown Source)
        at
edu.stanford.smi.protege.util.TreeSelectionListenerAdapter.valueChang
ed(Unknown Source)
        at javax.swing.JTree.fireValueChanged(Unknown Source)
        at javax.swing.JTree$TreeSelectionRedirector.valueChanged(Unknown
Source
)
        at
javax.swing.tree.DefaultTreeSelectionModel.fireValueChanged(Unknown S
ource)
        at
javax.swing.tree.DefaultTreeSelectionModel.notifyPathChange(Unknown S
ource)
        at
javax.swing.tree.DefaultTreeSelectionModel.setSelectionPaths(Unknown
Source)
        at
javax.swing.tree.DefaultTreeSelectionModel.setSelectionPath(Unknown S
ource)
        at javax.swing.JTree.setSelectionPath(Unknown Source)
        at javax.swing.plaf.basic.BasicTreeUI.selectPathForEvent(Unknown
Source)

        at
javax.swing.plaf.basic.BasicTreeUI$Handler.handleSelectionImpl(Unknow
n Source)
        at
javax.swing.plaf.basic.BasicTreeUI$Handler.handleSelection(Unknown So
urce)
        at javax.swing.plaf.basic.BasicTreeUI$Handler.mousePressed(Unknown
Sourc
e)
        at java.awt.AWTEventMulticaster.mousePressed(Unknown Source)
        at java.awt.Component.processMouseEvent(Unknown Source)
        at javax.swing.JComponent.processMouseEvent(Unknown Source)
        at java.awt.Component.processEvent(Unknown Source)
        at java.awt.Container.processEvent(Unknown Source)
        at java.awt.Component.dispatchEventImpl(Unknown Source)
        at java.awt.Container.dispatchEventImpl(Unknown Source)
        at java.awt.Component.dispatchEvent(Unknown Source)
        at java.awt.LightweightDispatcher.retargetMouseEvent(Unknown Source)
        at java.awt.LightweightDispatcher.processMouseEvent(Unknown Source)
        at java.awt.LightweightDispatcher.dispatchEvent(Unknown Source)
        at java.awt.Container.dispatchEventImpl(Unknown Source)
        at java.awt.Window.dispatchEventImpl(Unknown Source)
        at java.awt.Component.dispatchEvent(Unknown Source)
        at java.awt.EventQueue.dispatchEvent(Unknown Source)
        at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown
Source)

        at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown
Source)
        at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
        at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
        at java.awt.EventDispatchThread.run(Unknown Source)