diff --git a/Jenkinsfile b/Jenkinsfile
index 0ba08b0bd..427fe4db7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -62,7 +62,7 @@ pipeline {
 					sh "git push origin HEAD:${BRANCH_NAME} --tags"
 				}
                 timeout(time: 10, unit: 'MINUTES') {
-                    withMaven(options: [jUnitPublisher(disabled: true]) {
+                    withMaven(options: [jUnitPublisher(disabled: true)]) {
 	                    sh "mvn -B -V -U -T4 clean deploy -DaltReleaseDeploymentRepository=releases::default::https://nexus.greshamtech.com/content/repositories/thirdparty/"
                     }
                 }
@@ -84,7 +84,7 @@ pipeline {
             }
             steps {
                 timeout(time: 10, unit: 'MINUTES') {
-                    withMaven(options: [jUnitPublisher(disabled: true]) {
+                    withMaven(options: [jUnitPublisher(disabled: true)]) {
                         sh "mvn -B -V -U -T4 clean deploy -DaltSnapshotDeploymentRepository=snapshots::default::https://nexus.greshamtech.com/content/repositories/third-party-snapshots/"
                     }
                 }