From 20aabe009f546243fed11d6ddc441f0238f5518c Mon Sep 17 00:00:00 2001
From: Damien Goutte-Gattat <dpg44@cam.ac.uk>
Date: Mon, 20 May 2024 17:34:06 +0100
Subject: [PATCH] Bump version of embedded JRE.

---
 protege-desktop/pom.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/protege-desktop/pom.xml b/protege-desktop/pom.xml
index 2888af93e..2f5997080 100644
--- a/protege-desktop/pom.xml
+++ b/protege-desktop/pom.xml
@@ -68,21 +68,21 @@
 		<dependency>
 			<groupId>edu.stanford.protege</groupId>
 			<artifactId>jre.os-x</artifactId>
-			<version>11.0.17_8</version>
+			<version>11.0.23_9</version>
 			<scope>runtime</scope>
 		</dependency>
 
 		<dependency>
 			<groupId>edu.stanford.protege</groupId>
 			<artifactId>jre.win</artifactId>
-			<version>11.0.17_8</version>
+			<version>11.0.23_9</version>
 			<scope>runtime</scope>
 		</dependency>
 
 		<dependency>
 			<groupId>edu.stanford.protege</groupId>
 			<artifactId>jre.linux</artifactId>
-			<version>11.0.17_8</version>
+			<version>11.0.23_9</version>
 			<scope>runtime</scope>
 		</dependency>