docs: protected final void shiftKeys(int pos) {
          // Shift entries with the same hash.
          int last, slot;
          char curr;
          final char[] key = this.key;
          for (; ; ) {
              pos = ((last = pos) + 1) & mask;
              for (; ; ) {
                  if (((curr = key[pos]) == ((char) 0))) {
                      key[last] = ((char) 0);
                      return;
                  }
                  slot = (HashCommon.mix((curr))) & mask;
                  if (last <= pos ? last >= slot || slot > pos : last >= slot && slot > pos) break;
                  pos = (pos + 1) & mask;
              }
              key[last] = curr;
              value[last] = value[pos];
          }
      }