Changeset 4638 in josm for trunk/src/org/openstreetmap/josm/io

Timestamp:

2011-12-05T17:54:30+01:00 (13 years ago)

Author:

bastiK

Message:

fixed #7117 - ClassCastException in tagging presets setup

File:

• trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java

@@ -154 +154 @@
             {
                 String prefKey = getPrefKey(url, destDir);
-                Collection<String> localPath = Main.pref.getCollection(prefKey);
-                if(localPath.size() == 2) {
-                    String[] lp = (String[]) localPath.toArray();
-                    File lfile = new File(lp[1]);
+                List<String> localPath = new ArrayList<String>(Main.pref.getCollection(prefKey));
+                if (localPath.size() == 2) {
+                    File lfile = new File(localPath.get(1));
                     if(lfile.exists()) {
                         lfile.delete();