code: public static int getCtrlOrMetaModifier() {
          final WebBrowser webBrowser = Page.getCurrent().getWebBrowser();
          if (webBrowser.isMacOSX()) {
              return ShortcutAction.ModifierKey.META;
          }
  
          return ShortcutAction.ModifierKey.CTRL;
      }
docs: Returns the ctrl or meta modifier depending on the platform.
  
  @return on mac return
  {@link com.vaadin.event.ShortcutAction.ModifierKey#META} other
  platform return
  {@link com.vaadin.event.ShortcutAction.ModifierKey#CTRL}