Changeset 5590 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

Timestamp:

2012-11-18T16:40:44+01:00 (11 years ago)

Author:

bastiK

Message:

suppress some warnings (unchecked cast mostly)

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java

@@ -585 +585 @@
                 if (llEditor.getValue() == 1) {
                     List<List<String>> data = llEditor.getData();
-                    if (!Preferences.equalArray((Collection) llSetting.getValue(), data)) {
+                    @SuppressWarnings("unchecked")
+                    Collection<Collection<String>> llSettingValue = (Collection) llSetting.getValue();
+                    if (!Preferences.equalArray(llSettingValue, data)) {
                         pe.setValue(new ListListSetting(data));
                         ok = true;
@@ -645 +647 @@
             if (llEditor.getValue() == 1) {
                 List<List<String>> data = llEditor.getData();
-                if (!Preferences.equalArray((Collection) stg.getValue(), data)) {
+                @SuppressWarnings("unchecked")
+                Collection<Collection<String>> stgValue = (Collection) stg.getValue();
+                if (!Preferences.equalArray(stgValue, data)) {
                     e.setValue(new ListListSetting(data));
                     applyFilter();