docs: private void findNextAfterEof(
                                   DeleteStack    stack)
      {
          if ( !_eof )
              throw new RuntimeException("findNextAfterEof called when _eof false.");
  
          if (_current1._vno != _index.vno())
          {
              boolean state = pessimisticNeeded;
              state = optimisticSearchNext(stack);
              if (state == pessimisticNeeded)
                  pessimisticSearchNext(stack);
          }
      }