Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 9cdce583a57cefb816f89e11da3fd033440f6d26)
+++ Jenkinsfile	(revision 90e4d2b4f1d15a298974e00ed2e7d933e78def08)
@@ -74,9 +74,9 @@
 	currentBuild.result = "SUCCESS"
 
-	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']]
+	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']]   \
 		]]