/** * Deletes the bin/index slot, assigned a new identifier key if needed. * * <p>Enter/leave with bin field latched. */ private void deleteSlot() { bin.deleteEntry(index, true /*maybeValidate*/); if (index == 0 && bin.getNEntries() != 0) { bin.setIdentifierKey(bin.getKey(0)); } index -= 1; }