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

@@ -126,10 +126,11 @@
     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,10 +145,11 @@
 
         // 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,10 +175,11 @@
         if (seekForwardOnly) {
             minIndex = imageIndex;
         }
     }
 
+    @Override
     public int getWidth(int imageIndex) throws IIOException {
         checkIndex(imageIndex);
 
         int index = locateImage(imageIndex);
         if (index != imageIndex) {

@@ -184,10 +187,11 @@
         }
         readMetadata();
         return imageMetadata.imageWidth;
     }
 
+    @Override
     public int getHeight(int imageIndex) throws IIOException {
         checkIndex(imageIndex);
 
         int index = locateImage(imageIndex);
         if (index != imageIndex) {

@@ -225,10 +229,11 @@
                     1, 1, bits);
         }
         return new ImageTypeSpecifier(colorModel, sampleModel);
     }
 
+    @Override
     public Iterator<ImageTypeSpecifier> getImageTypes(int imageIndex)
             throws IIOException {
         checkIndex(imageIndex);
 
         int index = locateImage(imageIndex);

@@ -287,19 +292,22 @@
 
         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,10 +861,11 @@
                            1,
                            updateYStep,
                            bands);
     }
 
+    @Override
     public BufferedImage read(int imageIndex, ImageReadParam param)
         throws IIOException {
         if (stream == null) {
             throw new IllegalStateException("Input not set!");
         }

@@ -1035,10 +1044,11 @@
 
     /**
      * 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();
     }