From 00ffdcf10bcab4186a3d5856a9f2cbd148d15089 Mon Sep 17 00:00:00 2001
From: Van Leemput Dayron <la236098@student.helha.be>
Date: Mon, 8 Dec 2025 16:43:57 +0100
Subject: [PATCH] ci: Add JDK 17 tool definition and configure JAVA_HOME in
 Jenkinsfile.

---
 Jenkinsfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 70673cf..cf5c52c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,11 +1,17 @@
 pipeline {
     agent any 
+    
+    tools {
+        jdk 'jdk-17' // Replace with the name configured in Jenkins > Manage Jenkins > Tools
+    }
 
     environment {
         // On pointe vers le dossier SDK qu'on a installé dans le HOME de l'utilisateur jenkins
         ANDROID_HOME = "${env.HOME}/android-sdk"
         // J'ajoute /usr/local/bin au début du PATH
         PATH = "/usr/local/bin:/opt/flutter/bin:${env.HOME}/android-sdk/cmdline-tools/latest/bin:${env.HOME}/android-sdk/platform-tools:$PATH"
+        JAVA_HOME = "/usr/lib/jvm/java-17-openjdk-amd64"
+        PATH = "${JAVA_HOME}/bin:${env.PATH}"
         
         // On récupère vos secrets stockés dans Jenkins
         STORE_PASS = credentials('android-store-pass')