Ticket #2836: plugin.patch

File plugin.patch, 723 bytes (added by jttt, 15 years ago)

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

     
    9494
    9595    public boolean finish() {
    9696        Collection<PluginInformation> toDownload = new LinkedList<PluginInformation>();
    97         Collection<String> installedPlugins = Main.pref.getCollection("plugins", null);
     97        Collection<String> installedPlugins = Main.pref.getCollection("plugins", Collections.<String>emptySet());
    9898
    9999        String msg = "";
    100100        for (Entry<String, Boolean> entry : pluginMap.entrySet()) {