docs: private void findNextBeforeEof(
                                    DeleteStack    stack)
      {
          boolean state = pessimisticNeeded;
  
          if (_last1._vno == _index.vno())
              state = optimisticGetNext1(stack);
  //    else // vno (and perhaps xno) changed
  //      state = optimisticGetNext2(stack);
          if (state == pessimisticNeeded)
              pessimisticGetNext(stack);
      }