diff --git a/Jenkinsfile b/Jenkinsfile
index 424e19580..69e1b87dc 100755
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -39,7 +39,10 @@ for (int i = 0; i < platforms.size(); ++i) {
                     junit '**/target/surefire-reports/TEST-*.xml'
 
                     if (publishing) {
-                      findbugs pattern: '**/target/findbugsXml.xml'
+                      recordIssues(
+                        enabledForFailure: true, aggregatingResults: true, 
+                        tools: [java(), spotBugs(pattern: '**/target/findbugsXml.xml')]
+                      )
                       infra.prepareToPublishIncrementals()
                     }
                 }