From 82b4418969eb96dd0a0e937cab902b3830800afb Mon Sep 17 00:00:00 2001
From: Jean-Marie Burel <j.burel@dundee.ac.uk>
Date: Wed, 29 Nov 2023 09:11:53 +0000
Subject: [PATCH] use jre instead of jdk

---
 linux/step01_ubuntu_java_deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linux/step01_ubuntu_java_deps.sh b/linux/step01_ubuntu_java_deps.sh
index 5e82f9fb..5d5b1345 100644
--- a/linux/step01_ubuntu_java_deps.sh
+++ b/linux/step01_ubuntu_java_deps.sh
@@ -13,6 +13,6 @@ elif [ "$JAVAVER" = "openjdk11-devel" ]; then
 elif [ "$JAVAVER" = "openjdk11" ]; then
     #start-recommended
     apt-get update -q
-    apt-get install -y openjdk-11-jdk
+    apt-get install -y openjdk-11-jre
     #end-recommended
 fi