--- old/src/share/classes/java/awt/CardLayout.java	2014-04-30 15:45:46.000000000 -0700
+++ new/src/share/classes/java/awt/CardLayout.java	2014-04-30 15:45:46.000000000 -0700
@@ -560,6 +560,7 @@
     /**
      * Reads serializable fields from stream.
      */
+    @SuppressWarnings("unchecked")
     private void readObject(ObjectInputStream s)
         throws ClassNotFoundException, IOException
     {