From 7823fd9aaffeab8ce945fa88c0740bc6dec5e4c3 Mon Sep 17 00:00:00 2001
From: Jeff Nelson <jeff@cinchapi.com>
Date: Sun, 8 Nov 2026 12:29:59 -0500
Subject: [PATCH] Pin Java 8 in .sdkmanrc

SDKMAN and mise both read .sdkmanrc, so a shell that enters this
repository switches to the Java it builds with, and a machine whose
default Java is newer still builds it. build.gradle declares sourceCompatibility 1.8, and CI builds on cimg/openjdk:8.0.322.
---
 .sdkmanrc | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .sdkmanrc

diff --git a/.sdkmanrc b/.sdkmanrc
new file mode 100644
index 0000000..d2f55f9
--- /dev/null
+++ b/.sdkmanrc
@@ -0,0 +1,3 @@
+# Enable auto-env through the sdkman_auto_env config
+# Add key=value pairs of SDKs to use below
+java=8.0.452-amzn