From: gmungoc <g.m.carstairs@dundee.ac.uk>
Date: Tue, 5 Nov 2019 17:09:20 +0000 (+0000)
Subject: JAL-3210 JAL-3130 can't read java.specification.version in JalviewJS
X-Git-Tag: Release_2_11_4_0~45^2~18^2~78^2~4
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=5159fba45b219bdf320e78091db53486e782bb39;p=jalview.git

JAL-3210 JAL-3130 can't read java.specification.version in JalviewJS
---

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);