public void nextOccurrence(boolean retainOldSelection) {
    if (myFindModel == null) {
      myPendingSearch = Direction.DOWN;
      return;
    }
    nextOccurrence(false, myCursor, true, false, retainOldSelection);
    push();
  }
public void nextOccurrence(boolean retainOldSelection)