From c9800715ec36a57a6e6afb13a57b927e4061242e Mon Sep 17 00:00:00 2001
From: Jim Procter <j.procter@dundee.ac.uk>
Date: Wed, 15 Jun 2022 15:54:19 +0100
Subject: [PATCH] =?utf8?q?JAL-3418=20JAL-1988=20don=E2=80=99t=20need=20java=20?=
 =?utf8?q?version=20check=20anymore?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 src/jalview/jbgui/GDesktop.java |    4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index f3d9a65..e3f171d 100755
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -389,10 +389,6 @@ public class GDesktop extends JFrame
       }
     });
 
-    Float specversion = Platform.isJS() ? Float.valueOf(8)
-            : Float.parseFloat(
-                    System.getProperty("java.specification.version"));
-
     desktopMenubar.add(FileMenu);
     desktopMenubar.add(toolsMenu);
     desktopMenubar.add(HelpMenu);
-- 
1.7.10.2