Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision dddbefb7e5f2ef1f876f015942f6bd7473d57494)
+++ Jenkinsfile	(revision 08d524c68387be209920010d40090e2bc3130a17)
@@ -74,9 +74,9 @@
 	currentBuild.result = "SUCCESS"
 
-	properties [[$class: 'ParametersDefinitionProperty', parameterDefinitions: \
+	properties( [[$class: 'ParametersDefinitionProperty', parameterDefinitions: \
 			[[$class: 'StringParameterDefinition', name: 'git_ref_name',      defaultValue: 'master', description: 'name of the ref that changed' ], \
 			 [$class: 'StringParameterDefinition', name: 'git_ref_new_value', defaultValue: 'HEAD',   description: 'new commit of the reference' ],  \
 			 [$class: 'StringParameterDefinition', name: 'git_ref_old_value', defaultValue: 'HEAD~1', description: 'old commit of the reference']]   \
-		]]
+		]] )