+package jalview.util;
+
+import java.awt.event.MouseEvent;
+
+public interface ShortcutKeyMaskExWrapperI
+{
+ public static int SHIFT_DOWN_MASK = 0;
+
+ public static int ALT_DOWN_MASK = 0;
+
+ public int getMenuShortcutKeyMaskEx();
+
+ public int getModifiersEx(MouseEvent e);
+}