--- a/jdk/src/share/classes/sun/util/calendar/ZoneInfoFile.java	Wed Feb 13 19:40:51 2013 +0000
+++ b/jdk/src/share/classes/sun/util/calendar/ZoneInfoFile.java	Wed Feb 13 11:49:34 2013 -0800
@@ -92,7 +92,13 @@
                 ids.add(id);
             }
         }
-        return ids.toArray(new String[ids.size()]);
+        // It appears the "zi" implementation returns the
+        // sorted list, though the specification does not
+        // specify it. Keep the same behavior for better
+        // compatibility.
+        String[] list = ids.toArray(new String[ids.size()]);
+        Arrays.sort(list);
+        return list;
     }
 
     public static ZoneInfo getZoneInfo(String zoneId) {