Index: Jenkinsfile
===================================================================
diff -u -r497459adcaefe0279e1ee71c16d705b460e673ee -rf5828b44700f49f9d5623994495aba71fd00beb3
--- Jenkinsfile	(.../Jenkinsfile)	(revision 497459adcaefe0279e1ee71c16d705b460e673ee)
+++ Jenkinsfile	(.../Jenkinsfile)	(revision f5828b44700f49f9d5623994495aba71fd00beb3)
@@ -18,7 +18,7 @@
      post {
        success {
 	  // The artifact is named $project.projectDir which could be any number of things on Jenkins
-          archiveArtifacts(artifacts: "build/libs/*.war", fingerprint: true)
+          archiveArtifacts(artifacts: "dist/*.war", fingerprint: true)
        }
      }
    }