[PATCH] java.util.ConcurrentModificationException

[anonymous]

I was trying to go to Options/Plugins.
All plugins should have been updated already.

Path: trunk
URL: http://josm.openstreetmap.de/svn/trunk
Repository Root: http://josm.openstreetmap.de/svn
Repository UUID: 0c6e7542-c601-0410-84e7-c038aed88b3b
Revision: 1541
Node Kind: directory
Last Changed Author: framm
Last Changed Rev: 1541
Last Changed Date: 2009-04-20 13:01:04 +0200 (Mon, 20 Apr 2009)

Java version: 1.6.0_13
Plugins: measurement;openstreetbugs;utilsplugin;validator;wmsplugin
Plugin measurement Version: 14015
Plugin openstreetbugs Version: 14015
Plugin utilsplugin Version: 14356
Plugin validator Version: 14123
Plugin wmsplugin Version: 14120

java.util.ConcurrentModificationException

at java.util.HashMap$HashIterator.nextEntry(Unknown Source)
at java.util.HashMap$KeyIterator.next(Unknown Source)
at org.openstreetmap.josm.plugins.PluginSelection.drawPanel(PluginSelection.java:137)
at org.openstreetmap.josm.gui.preferences.PluginPreference.addGui(PluginPreference.java:67)
at org.openstreetmap.josm.gui.preferences.PreferenceDialog.<init>(PreferenceDialog.java:110)
at org.openstreetmap.josm.actions.PreferencesAction.actionPerformed(PreferencesAction.java:39)
at javax.swing.AbstractButton.fireActionPerformed(Unknown Source)
at javax.swing.AbstractButton$Handler.actionPerformed(Unknown Source)
at javax.swing.DefaultButtonModel.fireActionPerformed(Unknown Source)
at javax.swing.DefaultButtonModel.setPressed(Unknown Source)
at javax.swing.AbstractButton.doClick(Unknown Source)
at javax.swing.plaf.basic.BasicMenuItemUI.doClick(Unknown Source)
at javax.swing.plaf.basic.BasicMenuItemUI$Handler.mouseReleased(Unknown Source)
at java.awt.AWTEventMulticaster.mouseReleased(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.pumpOneEventForFilters(Unknown Source)
at java.awt.EventDispatchThread.pumpEventsForFilter(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)

[Henrik Niehaus <henrik.niehaus@…>]

I have attached a patch.

[stoecker]

I think that should be fixed by plugin rework. Objections against closing this?

[Henrik Niehaus <henrik.niehaus@…>]

When will that be done? If it takes some time, till the plugin rework fixes this bug, it might be reasonable to apply the patch, though. It's your decision.

[stoecker]

In r1603.