From e0af8e7a7c437d2a4f18c51cfcf4133536ec2cb7 Mon Sep 17 00:00:00 2001
From: Mihai Georgescu <georgescumihaivalentin04@gmail.com>
Date: Tue, 28 Nov 2023 10:26:17 +0200
Subject: [PATCH] Update Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 1fcb7e59f..85ec4b570 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
     stages {
         stage('Checkstyle') {
             steps {
-                sh 'mvn checkstyle:checkstyle'
+                sh 'export JAVA_HOME=/usr/lib/jvm/java-17-openjdk-amd64'
                 archiveArtifacts artifacts: 'checkstyle-result.html', onlyIfSuccessful: true
             }
         }