Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 6163)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 6164)
@@ -963,5 +963,5 @@
         List<List<String>> prop = arrayProperties.get(key);
         if (prop != null) {
-            @SuppressWarnings("unchecked")
+            @SuppressWarnings({ "unchecked", "rawtypes" })
             Collection<Collection<String>> prop_cast = (Collection) prop;
             return prop_cast;
@@ -974,5 +974,5 @@
         List<List<String>> prop = arrayProperties.get(key);
         if (prop != null) {
-            @SuppressWarnings("unchecked")
+            @SuppressWarnings({ "unchecked", "rawtypes" })
             Collection<Collection<String>> prop_cast = (Collection) prop;
             return prop_cast;
@@ -982,5 +982,5 @@
 
     public boolean putArray(String key, Collection<Collection<String>> value) {
-        boolean changed = false;
+        //boolean changed = false;
 
         List<List<String>> oldValue = null;