public void deleteRecord(int record) throws IOException {
    assert record > 0 : "recordId must be > 0";
    withWriteLock(() -> {
      doDeleteRecord(record);
    });
  }
public void deleteRecord(int record)