Index: trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java	(revision 3076)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginPreferencesModel.java	(revision 3077)
@@ -288,7 +288,13 @@
         File pluginDir = Main.pref.getPluginsDirectory();
         for (PluginInformation pi : plugins) {
+            // Find the downloaded file. We have tried to install the downloaded plugins
+            // (PluginHandler.installDownloadedPlugins). This succeeds depending on the
+            // platform.
             File downloadedPluginFile = new File(pluginDir, pi.name + ".jar.new");
             if (!(downloadedPluginFile.exists() && downloadedPluginFile.canRead())) {
-                continue;
+                downloadedPluginFile = new File(pluginDir, pi.name + ".jar");
+                if (!(downloadedPluginFile.exists() && downloadedPluginFile.canRead())) {
+                    continue;
+                }
             }
             try {