docs: @Override
    public void readHeader(RandomAccessFile file) throws IOException {
      file.seek(0);
      if(file.readInt() != FILE_VERSION) {
        throw new RuntimeException("File " + file + " is not a PersistentPageFile or wrong version!");
      }
  
      this.pageSize = file.readInt();
    }