From 5159fba45b219bdf320e78091db53486e782bb39 Mon Sep 17 00:00:00 2001 From: gmungoc Date: Tue, 5 Nov 2019 17:09:20 +0000 Subject: [PATCH] JAL-3210 JAL-3130 can't read java.specification.version in JalviewJS --- src/jalview/jbgui/GDesktop.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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); -- 1.7.10.2