From 6f8db2cfd3b84e46de63f6cf839a4115d8a8b00e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Nicoll?= <stephane.nicoll@broadcom.com>
Date: Thu, 22 Aug 2024 10:33:30 +0200
Subject: [PATCH] Upgrade to Java 17.0.12

---
 .sdkmanrc | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/.sdkmanrc b/.sdkmanrc
index 64345a4be3..828308d277 100644
--- a/.sdkmanrc
+++ b/.sdkmanrc
@@ -1,6 +1,3 @@
-# Use sdkman to run "sdk env" to initialize with correct JDK version
 # Enable auto-env through the sdkman_auto_env config
-# See https://sdkman.io/usage#config
-# A summary is to add the following to ~/.sdkman/etc/config
-# sdkman_auto_env=true
-java=17.0.3-tem
+# Add key=value pairs of SDKs to use below
+java=17.0.12-librca