Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 68d173d69f8b7c0549c9df2e0fb640e4d938d427)
+++ Jenkinsfile	(revision 25a5bbd753b2e3eb6f255ef1c16966d0d5d2da1f)
@@ -75,14 +75,14 @@
 
 	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']]   \
+			[[$class: 'StringParameterDefinition', name: 'GitRefName',      defaultValue: 'master', description: 'name of the ref that changed' ], \
+			 [$class: 'StringParameterDefinition', name: 'GitRefNewValue', defaultValue: 'HEAD',   description: 'new commit of the reference' ],  \
+			 [$class: 'StringParameterDefinition', name: 'GitRefOldValue', defaultValue: 'HEAD~1', description: 'old commit of the reference']]   \
 		]] )
 
 	try {
 		echo """Properties-start
-ref name      : ${git_ref_name}
-ref new value : ${git_ref_new_value}
-ref old value : ${git_ref_old_value}
+ref name      : ${GitRefName}
+ref new value : ${GitRefNewValue}
+ref old value : ${GitRefOldValue}
 Properties-stop"""