From 4257bd99c1eb41d496169e5ac93dedbc9b8e97a4 Mon Sep 17 00:00:00 2001
From: Lukasz Lenart <lukaszlenart@apache.org>
Date: Wed, 6 Sep 2023 19:33:48 +0200
Subject: [PATCH] Uses proper maven version

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 7e870780a1..6197634b7d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -10,7 +10,7 @@ pipeline {
   }
   tools {
     jdk 'jdk_1.7_latest'
-    maven 'maven_3_8_7'
+    maven 'maven_3.8.7'
   }
   triggers {
     pollSCM 'H/15 * * * *'