Index: /trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java	(revision 1768)
+++ /trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java	(revision 1769)
@@ -65,6 +65,6 @@
         Set<PluginInformation> toUpdate = new HashSet<PluginInformation>();
         StringBuilder toUpdateStr = new StringBuilder();
-        for (PluginProxy proxy : PluginHandler.pluginList) {
-            PluginInformation local = localPlugins.get(proxy.info.name);
+        for (String pluginName : Main.pref.getCollection("plugins", Collections.<String>emptySet())) {
+            PluginInformation local = localPlugins.get(pluginName);
             PluginInformation description = availablePlugins.get(local.name);