///////    ImageTimer.java    ///////
import java.awt.*;

public class ImageTimer extends Timer
{
      protected void init2()
      {   if ( img == null )
          {   img = new Image[11];
              for ( int i=0; i < 10; i++ )
                  img[i] = getImage(cb, "images/0"+ i + "green.gif");
              img[10] = getImage(cb, "images/cogreen.gif");
          }
          init3();
      }

      protected void init3()
      {   if ( face == null )
               face = new ImageFace(img, Color.cyan);
          super.init2();
      }

      protected Image[] img;
                                                       
      public static void main(String[] args)
      {   ImageTimer tm = new ImageTimer();
          tm.timerGo("ImageTimer");
      }

      protected void timerGo(String name)
      {   Frame win = new Frame(name);
          tk = Toolkit.getDefaultToolkit();
          img = new Image[11];
          for ( int i=0; i < 10; i++ )
              img[i] = tk.getImage( "images/0"+
                                i + "green.gif");
          img[10] = tk.getImage("images/cogreen.gif");
          init3();
          win.add("Center", this);
          win.setSize(154, 84);
          win.setVisible(true);
      }
}