docs: @Override
    public void readHeader(RandomAccessFile file) throws IOException {
      super.readHeader(file);
      this.dirCapacity = file.readInt();
      this.leafCapacity = file.readInt();
      this.dirMinimum = file.readInt();
      this.leafMinimum = file.readInt();
      this.emptyPagesSize = file.readInt();
      this.largestPageID = file.readInt();
    }