Changeset 1739 in josm

Timestamp:

2009-07-06T15:32:02+02:00 (15 years ago)

Author:

stoecker

Message:

fixed NPE - #2836

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java

@@ -95 +95 @@
     public boolean finish() {
         Collection<PluginInformation> toDownload = new LinkedList<PluginInformation>();
-        Collection<String> installedPlugins = Main.pref.getCollection("plugins", null);
+        Collection<String> installedPlugins = Main.pref.getCollection("plugins", Collections.<String>emptySet());
 
         String msg = "";