From c5e99a5e4bb2e15c56fdb3941a6de1267375bf4c Mon Sep 17 00:00:00 2001
From: Julien Ponge <jponge@redhat.com>
Date: Wed, 16 Dec 2020 16:23:30 +0100
Subject: [PATCH] Force Java 11 for the jbang script using sdkman

This must be cleaned up in the future
---
 .build/deploy.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.build/deploy.sh b/.build/deploy.sh
index 4a545f6d5..16bc07361 100644
--- a/.build/deploy.sh
+++ b/.build/deploy.sh
@@ -87,6 +87,10 @@ elif [[ ${TARGET} == "release" ]]; then
     compatibility_extract
     .build/post-release.kts "${GITHUB_TOKEN}"
 
+    # WE CAN DO BETTER THAN THIS
+    # The jbang script uses Java 11 APIs while the build is on Java 8
+    sdk install java 11.0.9.hs-adpt
+    sdk use java 11.0.9.hs-adpt
     compatibility_clear
 else
     echo "Unknown environment: ${TARGET}"