@RequiresEdt
  private void removeDiff() {
    myAlarm.cancelAllRequests();
    if (myIndicator != null) {
      myIndicator.cancel();
      myIndicator = null;
    }
    removeHighlighters();
    myCurrentLine = -1;
  }
@RequiresEdt
  private void removeDiff()