protected void doDeleteRecord(int record) throws IOException { myDataTable.reclaimSpace(myRecordsTable.getCapacity(record)); myRecordsTable.deleteRecord(record); }