code: public void evalHeightClass(DRI di, SD ds, CL ge) {
      double heightAttrOper = getHeightAttributesBox(ge) + getHeightOperationsBox(ge);
      double height = getSettingsGraphic().getHeightHeadClass()
          + heightAttrOper;
      if(height > ge.getHeight() || 
          (ge.getIsAdjustMinimumSize() && height < ge.getHeight())
          || heightAttrOper >0 && height != ge.getHeight()) {
        ge.setHeight(height);
      }
    }
docs: Utils: