From 04ad9da947d10470681935c64cd7cb225d3ae10b Mon Sep 17 00:00:00 2001
From: anhefti <andreas.hefti@let.ethz.ch>
Date: Tue, 5 Mar 2024 11:26:53 +0100
Subject: [PATCH] fixed maven for reporting

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

diff --git a/Jenkinsfile b/Jenkinsfile
index c8912680..d8f5b043 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,7 @@ pipeline {
     stages {
         stage('Maven build') {
             steps {
-                withMaven(maven: 'Maven3.9.6', options: [findbugsPublisher(disabled: true)]) {
+                withMaven(maven: 'Maven3.9.6') {
                     sh "mvn clean install -e -P let_reporting"
                 }
             }        
@@ -22,8 +22,8 @@ pipeline {
 
         stage('Reporting') {
             steps {
-                withMaven(maven: 'Maven3.9.6', options: [findbugsPublisher(disabled: true)]) {
-                    sh "mvn --batch-mode -V -U -e -P let_reporting pmd:pmd pmd:cpd findbugs:findbugs"
+                withMaven(maven: 'Maven3.9.6') {
+                    sh "mvn --batch-mode -V -U -e -P let_reporting pmd:pmd pmd:cpd spotbugs:spotbugs"
                 }
             }
         }