From 1c697be1190a173a4621dce7bf4b7462d0210670 Mon Sep 17 00:00:00 2001
From: emmanuel lecharny <elecharny@apache.org>
Date: Thu, 12 Sep 2024 08:59:51 +0200
Subject: [PATCH] Fixed a windows build for JDK 1.8

---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index f10c8225e..433d4812d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -122,7 +122,8 @@ pipeline {
         sh 'mvn clean install -Pserial'
       }
     }
-    
+/*--- Comment out Windows builds for the moment ---*/
+/*    
     stage('Build JDK 22 Windows') {
       tools {
         jdk "jdk_22_latest_windows"
@@ -183,4 +184,5 @@ pipeline {
       }
     }
   }
+*/
 }