--- a/jdk/src/share/classes/java/util/EnumSet.java	Tue Aug 19 16:05:26 2008 -0700
+++ b/jdk/src/share/classes/java/util/EnumSet.java	Wed Aug 20 13:45:12 2008 -0700
@@ -432,4 +432,11 @@
     Object writeReplace() {
         return new SerializationProxy<E>(this);
     }
+
+    // readObject method for the serialization proxy pattern
+    // See Effective Java, Second Ed., Item 78.
+    private void readObject(java.io.ObjectInputStream stream)
+        throws java.io.InvalidObjectException {
+        throw new java.io.InvalidObjectException("Proxy required");
+    }
 }