docs: static boolean checkForPossibleIndexChange(
                                                int             v1,
                                                int             v2,
                                                Throwable       exc,
                                                String          msg)
      {
          if (v1 != v2)
              return pessimisticNeeded;
          else
          {
              GBSTreeException x = new GBSTreeException(
                                                       msg + ", v1 = " + v1, exc);
              throw x;
          }
      }