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

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