/** Stops the animation. */
 public void stopAnimation() {
   timer.setDelay(STATIC_CLOCK_INTERVALS);
 }
 /** Starts the animation. */
 public void startAnimation() {
   timer.setDelay(ANIMATION_CLOCK_INTERVALS);
 }