Index: trunk/src/org/openstreetmap/josm/data/Preferences.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 3437)
+++ trunk/src/org/openstreetmap/josm/data/Preferences.java	(revision 3438)
@@ -678,5 +678,5 @@
         String s = get(key);
         if (s != null && s.length() != 0)
-            return s.indexOf("\u001e") >= 0 || s.indexOf("§§§") >= 0;
+            return s.indexOf("\u001e") >= 0;
             else
                 return def;
@@ -700,18 +700,4 @@
         if(s != null && s.length() != 0)
         {
-            if(s.indexOf("\u001e") < 0) /* FIXME: legacy code, remove later */
-            {
-                String r =s;
-                if(r.indexOf("§§§") > 0) {
-                    r = r.replaceAll("§§§","\u001e");
-                } else {
-                    r = r.replace(';','\u001e');
-                }
-                if(!r.equals(s)) /* save the converted string */
-                {
-                    put(key,r);
-                    s = r;
-                }
-            }
             return Arrays.asList(s.split("\u001e"));
         }
Index: trunk/src/org/openstreetmap/josm/data/coor/CoordinateFormat.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/coor/CoordinateFormat.java	(revision 3437)
+++ trunk/src/org/openstreetmap/josm/data/coor/CoordinateFormat.java	(revision 3438)
@@ -16,5 +16,5 @@
 
     /**
-     * the degrees/minutes/seconds format 9° 99" 99'
+     * the degrees/minutes/seconds format 9 deg 99 min 99 sec
      */
     DEGREES_MINUTES_SECONDS (tr("deg\u00B0 min'' sec\"")),
Index: trunk/src/org/openstreetmap/josm/data/coor/LatLon.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/coor/LatLon.java	(revision 3437)
+++ trunk/src/org/openstreetmap/josm/data/coor/LatLon.java	(revision 3438)
@@ -203,5 +203,5 @@
      * Returns this lat/lon pair in human-readable format.
      *
-     * @return String in the format "lat=1.23456°, lon=2.34567°"
+     * @return String in the format "lat=1.23456 deg, lon=2.34567 deg"
      */
     public String toDisplayString() {
Index: trunk/src/org/openstreetmap/josm/gui/MapStatus.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/MapStatus.java	(revision 3437)
+++ trunk/src/org/openstreetmap/josm/gui/MapStatus.java	(revision 3438)
@@ -628,8 +628,8 @@
     }
     public void setAngle(double a) {
-        angleText.setText(a < 0 ? "--" : Math.round(a*10)/10.0 + " °");
+        angleText.setText(a < 0 ? "--" : Math.round(a*10)/10.0 + " \u00B0");
     }
     public void setHeading(double h) {
-        headingText.setText(h < 0 ? "--" : Math.round(h*10)/10.0 + " °");
+        headingText.setText(h < 0 ? "--" : Math.round(h*10)/10.0 + " \u00B0");
     }
     public void setDist(double dist) {