Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 5068)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 5069)
@@ -117,6 +117,11 @@
             this.value = value;
         }
+        @Override
         public T getValue() {
             return value;
+        }
+        @Override
+        public String toString() {
+            return value.toString();
         }
     }
Index: trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java	(revision 5068)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/advanced/AdvancedPreference.java	(revision 5069)
@@ -117,6 +117,12 @@
         }
 
+        @Override
         public int compareTo(PrefEntry other) {
             return key.compareTo(other.key);
+        }
+
+        @Override
+        public String toString() {
+            return value.toString();
         }
     }