plugin update should have successdul download before deleting exsisting plugin

[gormur]

Steps taken:
Manually downloaded editgpx plugin into plugins folder
Started JOSM
In prefs-Plugins the plugin had appeared on the list without an tick in the checkbox
I ticked it off.
JOSM asked "Plugin archive already avalible. Do you want to download the current version by deleting existing archive? (C:...\plugins\editgpx.jar)". I clicked "Delete and download".
Error saying something like "cannot download"...
reopened prefs and (the dump below) puked out.
plugin had been deleted from plugins-folder and didt not appear in JOSM.
Maybe the "Delete and download" function should only delete on a successful download instead?
Tried to reproduce in 1607. Same happened minus the exeption.

Path: trunk
URL: ​http://josm.openstreetmap.de/svn/trunk
Repository Root: ​http://josm.openstreetmap.de/svn
Repository UUID: 0c6e7542-c601-0410-84e7-c038aed88b3b
Revision: 1566
Node Kind: directory
Last Changed Author: stoecker
Last Changed Rev: 1566
Last Changed Date: 2009-04-30 15:59:56 +0200 (Thu, 30 Apr 2009)

Java version: 1.6.0_07
Plugins: utilsplugin;validator;wmsplugin
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.plaf.basic.BasicButtonListener.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)

[stoecker]

Update josm. Already fixed.