import java.io.PrintWriter;
/** Converts an InputStream carrying a GIF image into an ARGB int[] */
-public class GIF implements ImageDecoder {
+public class GIF extends ImageDecoder {
// Public Methods /////////////////////////////////////////////////////////