Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 90e4d2b4f1d15a298974e00ed2e7d933e78def08)
+++ Jenkinsfile	(revision dddbefb7e5f2ef1f876f015942f6bd7473d57494)
@@ -74,6 +74,5 @@
 	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' ],  \