@Override
  public int getDataFormatVersion() throws IOException {
    pagedStorage.lockRead();
    try {
      return readHeaderInt(HeaderLayout.DATA_FORMAT_VERSION_OFFSET);
    }
    finally {
      pagedStorage.unlockRead();
    }
  }
@Override
  public int getDataFormatVersion()