src/share/classes/sun/awt/image/GifImageDecoder.java

@@ -112,10 +112,11 @@
     }
 
     /**
      * produce an image from the stream.
      */
+    @SuppressWarnings("fallthrough")
     public void produceImage() throws IOException, ImageFormatException {
         try {
             readHeader();
 
             int totalframes = 0;

@@ -236,11 +237,11 @@
                         }
                     }
                     if (frameno == 0) {
                         return;
                     }
-                    // NOBREAK
+                    // Fall through
 
                   case TERMINATOR:
                     if (nloops == 0 || nloops-- >= 0) {
                         try {
                             if (curframe != null) {