docs: private void segmentPage()
      {
          DefaultContentRect.resetId(); //reset the default ID generator to obtain the same IDs for every segmentation
          if (segmentatorCombo.getSelectedIndex() != -1)
          {
              AreaTreeProvider provider = segmentatorCombo.getItemAt(segmentatorCombo.getSelectedIndex());
              proc.segmentPage(provider, null); //the parametres should have been set through the GUI
              setAreaTree(proc.getAreaTree());
          }
      }