code: @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();
    }
docs: Initializes this header from the specified file. Calls
  {@link de.lmu.ifi.dbs.elki.persistent.DefaultPageHeader#readHeader(java.io.RandomAccessFile)
  DefaultPageHeader#readHeader(file)} and reads the integer values of
  {@link #dirCapacity}, {@link #leafCapacity}, {@link #dirMinimum},
  {@link #leafMinimum} and {@link #emptyPagesSize} from the file.