+ public static int SHIFT_DOWN_MASK = KeyEvent.SHIFT_DOWN_MASK;
+
+ public static int ALT_DOWN_MASK = KeyEvent.ALT_DOWN_MASK;
+
+ public static int SHORTCUT_KEY_MASK = (Platform.isMac() ? KeyEvent.META_DOWN_MASK : KeyEvent.CTRL_DOWN_MASK);
+
+ static
+ {
+ if (!GraphicsEnvironment.isHeadless())
+ {
+ try
+ {
+
+ Class<? extends Toolkit> tk = Toolkit.getDefaultToolkit().getClass();
+ Method method = tk.getMethod("getMenuShortcutKeyMaskEx");
+ if (method == null)
+ method = tk.getMethod("getMenuShortcutKeyMask");
+ SHORTCUT_KEY_MASK = ((int) method.invoke(tk, new Object[0]));
+ if (SHORTCUT_KEY_MASK <= 0xF)
+ {
+ // shift this into the extended region (was Java 8)
+ SHORTCUT_KEY_MASK = SHORTCUT_KEY_MASK << 6;
+ }
+ } catch (Exception e)
+ {
+ }
+ }
+ }
+