Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision a336d46f0710a49accb97983fdb83b2a59eb6c3c)
+++ Jenkinsfile	(revision 7efec1554b58621c61c49969dbe98cf421d3222c)
@@ -145,5 +145,5 @@
 		dir (BuildDir) {
 			//Append bench results
-			sh "make --no-print-directory -C benchmark jenkins githash=${gitRefNewValue} arch=${Settings.Architecture} | tee ${SrcDir}/bench.json"
+			sh "make --no-print-directory -C benchmark jenkins githash=${newRef} arch=${Settings.Architecture} | tee ${SrcDir}/bench.json"
 		}
 	}
@@ -178,7 +178,7 @@
 //Routine responsible of sending the email notification once the build is completed
 //===========================================================================================================
-def gitUpdate(String gitRefOldValue, String gitRefNewValue) {
+def gitUpdate(String oldRef, String newRef) {
 	def update = ""
-	sh "git rev-list ${gitRefOldValue}..${gitRefNewValue} > GIT_LOG";
+	sh "git rev-list ${oldRef}..${newRef} > GIT_LOG";
 	readFile('GIT_LOG').eachLine { rev ->
 		sh "git cat-file -t ${rev} > GIT_TYPE"
@@ -187,5 +187,5 @@
 		update += "       via  ${rev} (${type})\n"
 	}
-	def rev = gitRefOldValue
+	def rev = oldRef
 	sh "git cat-file -t ${rev} > GIT_TYPE"
 	def type = readFile('GIT_TYPE')
@@ -195,10 +195,10 @@
 }
 
-def gitLog(String gitRefOldValue, String gitRefNewValue) {
+def gitLog(String oldRef, String newRef) {
 	sh "git rev-list --format=short ${oldRef}...${newRef} > ${BuildDir}/GIT_LOG"
 	return readFile("${BuildDir}/GIT_LOG")
 }
 
-def gitDiff(String gitRefOldValue, String gitRefNewValue) {
+def gitDiff(String oldRef, String newRef) {
 	sh "git diff --stat ${newRef} ${oldRef} > ${BuildDir}/GIT_DIFF"
 	return readFile("${BuildDir}/GIT_DIFF")