--- a/jdk/src/share/classes/java/awt/CardLayout.java	Mon May 05 23:19:00 2014 -0700
+++ b/jdk/src/share/classes/java/awt/CardLayout.java	Mon May 05 23:38:30 2014 -0700
@@ -560,6 +560,7 @@
     /**
      * Reads serializable fields from stream.
      */
+    @SuppressWarnings("unchecked")
     private void readObject(ObjectInputStream s)
         throws ClassNotFoundException, IOException
     {