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

*** 112,121 ****
--- 112,122 ----
      }
  
      /**
       * produce an image from the stream.
       */
+     @SuppressWarnings("fallthrough")
      public void produceImage() throws IOException, ImageFormatException {
          try {
              readHeader();
  
              int totalframes = 0;
*** 236,246 ****
                          }
                      }
                      if (frameno == 0) {
                          return;
                      }
!                     // NOBREAK
  
                    case TERMINATOR:
                      if (nloops == 0 || nloops-- >= 0) {
                          try {
                              if (curframe != null) {
--- 237,247 ----
                          }
                      }
                      if (frameno == 0) {
                          return;
                      }
!                     // Fall through
  
                    case TERMINATOR:
                      if (nloops == 0 || nloops-- >= 0) {
                          try {
                              if (curframe != null) {