From 0356eeeb5062a7d337cf24fca96c466e5bb063ff Mon Sep 17 00:00:00 2001
From: Matt <matthew.morley.ca@gmail.com>
Date: Tue, 19 Dec 2023 19:38:55 -0500
Subject: [PATCH] Install script use Java 17

---
 scripts/install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/install.sh b/scripts/install.sh
index cfbaa2fa06..14fa346c5a 100755
--- a/scripts/install.sh
+++ b/scripts/install.sh
@@ -54,10 +54,10 @@ else
 fi
 
 echo "Installing the JRE..."
-if ! package_is_installed openjdk-11-jre-headless
+if ! package_is_installed openjdk-17-jre-headless
 then
    apt-get update
-   apt-get install --yes openjdk-11-jre-headless
+   apt-get install --yes openjdk-17-jre-headless
 fi
 echo "JRE installation complete."