--- a/jdk/src/share/classes/java/lang/String.java	Fri Dec 02 16:04:16 2011 -0800
+++ b/jdk/src/share/classes/java/lang/String.java	Fri Dec 02 16:25:35 2011 -0800
@@ -1245,6 +1245,9 @@
             }
             return n1 - n2;
         }
+
+        /** Replaces the de-serialized object. */
+        private Object readResolve() { return CASE_INSENSITIVE_ORDER; }
     }
 
     /**