/**
   * Pause for a given number of milliseconds.
   * Use the pause method if you want to do
   * animation.
   * 
   * @param t  the number of milliseconds to pause
   */ 
  public void pause(int t) {
    try {
      Thread.currentThread().sleep(t);
    } catch (Exception e) {
      // ignore exceptions
    }
  }