Index: /trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 3794)
+++ /trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 3795)
@@ -627,5 +627,5 @@
         String s = get(key);
         if(s != null && s.length() != 0)
-            return Arrays.asList(s.split("\u001e"));
+            return Arrays.asList(s.split("\u001e", -1));
         return def;
     }
@@ -641,5 +641,5 @@
         String s = get(key);
         if (s != null && s.length() != 0)
-            return Arrays.asList(s.split("\u001e"));
+            return Arrays.asList(s.split("\u001e", -1));
         return Collections.emptyList();
     }