docs: public void dropIndex(Session session, String indexname) {
  
          // find the array index for indexname and remove
          int todrop = getIndexIndex(indexname);
  
          indexList = (Index[]) ArrayUtil.toAdjustedArray(indexList, null,
                  todrop, -1);
  
          for (int i = 0; i < indexList.length; i++) {
              indexList[i].setPosition(i);
          }
  
          setBestRowIdentifiers();
  
          if (store != null) {
              store.resetAccessorKeys(indexList);
          }
      }