@RequiresEdt
    private void schedule() {
      if (myProgress != null) return;
      if (myScheduled.isEmpty()) return;

      myAlarm.cancelAllRequests();
      myAlarm.addRequest(() -> launchRediff(false), ProgressIndicatorWithDelayedPresentation.DEFAULT_PROGRESS_DIALOG_POSTPONE_TIME_MILLIS);
    }
@RequiresEdt
    private void schedule()