Index: trunk/src/org/openstreetmap/josm/gui/DefaultNameFormatter.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/DefaultNameFormatter.java	(revision 5749)
+++ trunk/src/org/openstreetmap/josm/gui/DefaultNameFormatter.java	(revision 5750)
@@ -395,5 +395,10 @@
                 return comp;
 
-            return r1.getUniqueId() > r2.getUniqueId()?1:-1;
+            if (r1.getUniqueId() > r2.getUniqueId()) 
+                return 1;
+            else if (r1.getUniqueId() < r2.getUniqueId())
+                return -1;
+            else
+                return 0;
         }
     };