docs: @Override
    public int setPageID(P page) {
      int pageID = page.getPageID();
      if(pageID == -1) {
        pageID = getNextEmptyPageID();
        if(pageID == -1) {
          pageID = nextPageID++;
        }
        page.setPageID(pageID);
      }
      return pageID;
    }