--- old/src/share/classes/sun/awt/image/GifImageDecoder.java	2014-04-08 15:39:47.000000000 -0700
+++ new/src/share/classes/sun/awt/image/GifImageDecoder.java	2014-04-08 15:39:46.000000000 -0700
@@ -114,6 +114,7 @@
     /**
      * produce an image from the stream.
      */
+    @SuppressWarnings("fallthrough")
     public void produceImage() throws IOException, ImageFormatException {
         try {
             readHeader();
@@ -238,7 +239,7 @@
                     if (frameno == 0) {
                         return;
                     }
-                    // NOBREAK
+                    // Fall through
 
                   case TERMINATOR:
                     if (nloops == 0 || nloops-- >= 0) {