public int getNextRecord(int record) throws IOException {
    return withReadLock(() -> {
      return ((LocalHistoryRecordsTable)myRecordsTable).getNextRecord(record);
    });
  }
public int getNextRecord(int record)