X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FShortcutKeyMaskExWrapper.java;h=83330b9145e25af518211034e41e256eff896c73;hb=ac3fe94f6d237a0a2032474844217d542040776c;hp=90b3b9522074070394743be9641e934fa5419bfe;hpb=c7827c8c0d28158fcea4ebc132c7b457d60f557d;p=jalview.git

diff --git a/src/jalview/util/ShortcutKeyMaskExWrapper.java b/src/jalview/util/ShortcutKeyMaskExWrapper.java
index 90b3b95..83330b9 100644
--- a/src/jalview/util/ShortcutKeyMaskExWrapper.java
+++ b/src/jalview/util/ShortcutKeyMaskExWrapper.java
@@ -37,8 +37,9 @@ public class ShortcutKeyMaskExWrapper
 
   static
   {
-    specversion = Float
-            .parseFloat(System.getProperty("java.specification.version"));
+    specversion = Platform.isJS() ? Float.valueOf(8)
+            : Float.parseFloat(
+                    System.getProperty("java.specification.version"));
     modern = 11;
 
     if (specversion >= modern)