Index: trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java
===================================================================
--- trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java	(revision 2556)
+++ trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java	(revision 2557)
@@ -152,4 +152,5 @@
                 {
                     System.out.println(tr("Delete old plugin file {0}",fname));
+                    f.delete();
                 }
             }