src/java.desktop/share/classes/com/sun/imageio/plugins/gif/GIFImageReader.java

*** 126,135 ****
--- 126,136 ----
      public GIFImageReader(ImageReaderSpi originatingProvider) {
          super(originatingProvider);
      }
  
      // Take input from an ImageInputStream
+     @Override
      public void setInput(Object input,
                           boolean seekForwardOnly,
                           boolean ignoreMetadata) {
          super.setInput(input, seekForwardOnly, ignoreMetadata);
          if (input != null) {
*** 144,153 ****
--- 145,155 ----
  
          // Clear all values based on the previous stream contents
          resetStreamSettings();
      }
  
+     @Override
      public int getNumImages(boolean allowSearch) throws IIOException {
          if (stream == null) {
              throw new IllegalStateException("Input not set!");
          }
          if (seekForwardOnly && allowSearch) {
*** 173,182 ****
--- 175,185 ----
          if (seekForwardOnly) {
              minIndex = imageIndex;
          }
      }
  
+     @Override
      public int getWidth(int imageIndex) throws IIOException {
          checkIndex(imageIndex);
  
          int index = locateImage(imageIndex);
          if (index != imageIndex) {
*** 184,193 ****
--- 187,197 ----
          }
          readMetadata();
          return imageMetadata.imageWidth;
      }
  
+     @Override
      public int getHeight(int imageIndex) throws IIOException {
          checkIndex(imageIndex);
  
          int index = locateImage(imageIndex);
          if (index != imageIndex) {
*** 225,234 ****
--- 229,239 ----
                      1, 1, bits);
          }
          return new ImageTypeSpecifier(colorModel, sampleModel);
      }
  
+     @Override
      public Iterator<ImageTypeSpecifier> getImageTypes(int imageIndex)
              throws IIOException {
          checkIndex(imageIndex);
  
          int index = locateImage(imageIndex);
*** 287,305 ****
--- 292,313 ----
  
          l.add(createIndexed(r, g, b, bits));
          return l.iterator();
      }
  
+     @Override
      public ImageReadParam getDefaultReadParam() {
          return new ImageReadParam();
      }
  
+     @Override
      public IIOMetadata getStreamMetadata() throws IIOException {
          readHeader();
          return streamMetadata;
      }
  
+     @Override
      public IIOMetadata getImageMetadata(int imageIndex) throws IIOException {
          checkIndex(imageIndex);
  
          int index = locateImage(imageIndex);
          if (index != imageIndex) {
*** 853,862 ****
--- 861,871 ----
                             1,
                             updateYStep,
                             bands);
      }
  
+     @Override
      public BufferedImage read(int imageIndex, ImageReadParam param)
          throws IIOException {
          if (stream == null) {
              throw new IllegalStateException("Input not set!");
          }
*** 1035,1044 ****
--- 1044,1054 ----
  
      /**
       * Remove all settings including global settings such as
       * {@code Locale}s and listeners, as well as stream settings.
       */
+     @Override
      public void reset() {
          super.reset();
          resetStreamSettings();
      }