JAL-3446 test for simpler key mask operation

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index 036ae17..6dbe549 100644 (file)
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -112,10 +112,10 @@ public class Platform
       try
       {
 
-        Class<? extends Toolkit> tk = Toolkit.getDefaultToolkit().getClass();
-        Method method = tk.getMethod("getMenuShortcutKeyMaskEx");
+        Toolkit tk = Toolkit.getDefaultToolkit();
+        Method method = tk.getClass().getMethod("getMenuShortcutKeyMaskEx");
         if (method == null)
-          method = tk.getMethod("getMenuShortcutKeyMask");
+          method = tk.getClass().getMethod("getMenuShortcutKeyMask");
         SHORTCUT_KEY_MASK = ((int) method.invoke(tk, new Object[0]));
         if (SHORTCUT_KEY_MASK <= 0xF)
         {
@@ -124,6 +124,7 @@ public class Platform
         }
       } catch (Exception e)
       {
+        e.printStackTrace();
       }
     }
   }