--- a/jdk/src/share/classes/sun/util/calendar/ZoneInfo.java	Thu Apr 11 19:15:24 2013 -0700
+++ b/jdk/src/share/classes/sun/util/calendar/ZoneInfo.java	Fri Apr 12 07:57:35 2013 -0700
@@ -561,8 +561,7 @@
      * @return an array of time zone IDs.
      */
     public static String[] getAvailableIDs() {
-        Set<String> idSet = ZoneInfoFile.getZoneIds();
-        return idSet.toArray(new String[idSet.size()]);
+        return ZoneInfoFile.getZoneIds();
     }
 
     /**