chore: set Jenkins to use jdk11

adietish · adietish · commit ee49bbc93ebe · 2021-09-14T17:47:14.000+02:00
Signed-off-by: Andre Dietisheim &lt;adietish@redhat.com&gt;
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -3,6 +3,9 @@
 node('rhel7'){
 	def recipientList = 'jbosstools-builds@lists.jboss.org'
 
+	def javaHome = tool 'openjdk-11'
+	env.JAVA_HOME = "${javaHome}"
+
 	try {
 		stage('Checkout repo') {
 			deleteDir()
