sclass RestartableCountdown {
  java.util.Timer timer;
  
  // stops the countdown and restarts it
  synchronized void start(double delay, O action) {
    stop();
    timer = doLater_daemon(delay, action);
  }
  
  synchronized void stop() {
    cancelTimer(timer);
    timer = null;
  }
}