From 322fdd83cdce7b1fe595d67874f76ea41ff727ea Mon Sep 17 00:00:00 2001
From: Ben Soares <b.soares@dundee.ac.uk>
Date: Tue, 27 Jun 2023 17:39:40 +0100
Subject: [PATCH] JAL-3416 Don't forget java bin in the correct java home

---
 src/jalview/bin/Launcher.java |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/jalview/bin/Launcher.java b/src/jalview/bin/Launcher.java
index a87d322..9ddfa0d 100644
--- a/src/jalview/bin/Launcher.java
+++ b/src/jalview/bin/Launcher.java
@@ -102,6 +102,10 @@ public class Launcher
     {
       javaBin = javaBinDir + "Jalview";
     }
+    if (javaBin == null && checkJVMSymlink(javaBinDir + "java"))
+    {
+      javaBin = javaBinDir + "java";
+    }
     if (javaBin == null)
     {
       javaBin = "java";
-- 
1.7.10.2