docs: public void setPage(int page, boolean fireChanged) {
  
          m_page = page;
          m_label.setValue("( " + (1 + m_page) + " / " + (m_lastPage + 1) + " )");
          int start = (m_page * m_pageSize) + 1;
          int end = Math.min((start + m_pageSize) - 1, m_resultCount);
          String resultsMsg = CmsVaadinUtils.getMessageText(
              Messages.GUI_DATAVIEW_RESULTS_3,
              "" + start,
              "" + end,
              "" + m_resultCount);
          m_resultsLabel.setValue(start <= end ? resultsMsg : "");
          if (fireChanged) {
              firePageChanged(page);
          }
      }