Index: trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java
===================================================================
--- trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java	(revision 1670)
+++ trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java	(revision 1671)
@@ -106,15 +106,6 @@
                 PluginInformation ap = availablePlugins.get(name);
                 PluginInformation pi = localPlugins.get(name);
-                boolean add = false;
-                if(pi == null)
-                    add = true;
-                else if(!pi.version.equals(ap.version))
-                {
-                    add = true;
-                    for (PluginProxy proxy : PluginHandler.pluginList)
-                        if(proxy.info.name.equals(ap.name))
-                            add = false;
-                }
-                if(add)
+                if(pi == null || (pi.version == null && ap.version != null)
+                || (pi.version != null && !pi.version.equals(ap.version)))
                 {
                     toDownload.add(ap);