@RequiresEdt
    public void stop() {
      if (myProgress != null) myProgress.cancel();
      myProgress = null;
      myScheduled.clear();
      myAlarm.cancelAllRequests();
    }
@RequiresEdt
    public void stop()