X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fjbgui%2FGDesktop.java;fp=src%2Fjalview%2Fjbgui%2FGDesktop.java;h=e4a5905798e587d7aa0faba7e4ec0f7f9d5abc18;hb=5159fba45b219bdf320e78091db53486e782bb39;hp=b6f3f8c5891454c6d14f68f9c71615b06c46e0c3;hpb=be568293756d8c194d16d0166fd4396fa3cd9b26;p=jalview.git

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index b6f3f8c..e4a5905 100755
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -366,7 +366,9 @@ public class GDesktop extends JFrame
       }
     });
 
-    Float specversion = Float.parseFloat(System.getProperty("java.specification.version"));
+    Float specversion = Platform.isJS() ? Float.valueOf(8)
+            : Float.parseFloat(
+                    System.getProperty("java.specification.version"));
     
     desktopMenubar.add(FileMenu);
     desktopMenubar.add(toolsMenu);