docs: private void displayResultCount(int displayed, int total) {
  
          String message = Messages.get().key(
              Messages.GUI_LABEL_NUM_RESULTS_2,
              new Integer(displayed),
              new Integer(total));
          m_infoLabel.setText(message);
      }