From 8be80c00a6d77098d6bab26fa60c1719b26cd47b Mon Sep 17 00:00:00 2001
From: Rob Winch <rwinch@users.noreply.github.com>
Date: Fri, 18 Feb 2022 13:21:44 -0600
Subject: [PATCH] Add .sdkmanrc

---
 .sdkmanrc | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 .sdkmanrc

diff --git a/.sdkmanrc b/.sdkmanrc
new file mode 100644
index 0000000000..db5a78cf39
--- /dev/null
+++ b/.sdkmanrc
@@ -0,0 +1,6 @@
+# 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.2-tem