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