Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 201d77a1c34a8a2d7527cdbe170246703d60a204)
+++ Jenkinsfile	(revision 0370b9bd95888986487eebdf3c395d6960d82ce6)
@@ -106,5 +106,5 @@
 				[$class: 'ChoiceParameterDefinition',						\
 					description: 'Which compiler to use',					\
-					name: 'Compiler',								\
+					name: 'pCompiler',								\
 					choices: 'gcc-6\ngcc-5\ngcc-4.9\nclang',					\
 					defaultValue: 'gcc-6',								\
@@ -112,5 +112,5 @@
 				[$class: 'ChoiceParameterDefinition',						\
 					description: 'The target architecture',					\
-					name: 'Architecture',								\
+					name: 'pArchitecture',								\
 					choices: '64-bit\n32-bit',							\
 					defaultValue: '64-bit',								\
@@ -118,25 +118,25 @@
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If false, only the quick test suite is ran', 		\
-					name: 'RunAllTests', 							\
+					name: 'pRunAllTests', 							\
 					defaultValue: false,  								\
 				], 												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If true, jenkins also runs benchmarks', 		\
-					name: 'RunBenchmark', 							\
+					name: 'pRunBenchmark', 							\
 					defaultValue: false,  								\
 				], 												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If true, jenkins also builds documentation', 		\
-					name: 'BuildDocumentation', 								\
+					name: 'pBuildDocumentation', 								\
 					defaultValue: false,  								\
 				],												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If true, jenkins also publishes results', 		\
-					name: 'paramPublish_publish', 								\
+					name: 'pPublish', 								\
 					defaultValue: false,  								\
 				],												\
 				[$class: 'BooleanParameterDefinition',  						\
 					description: 'If true, jenkins will not send emails', 		\
-					name: 'Silent', 						\
+					name: 'pSilent', 						\
 					defaultValue: false,  								\
 				],												\
@@ -144,12 +144,12 @@
 		]])
 
-	compiler 		= compiler_from_params( Compiler )
-	architecture 	= architecture_from_params( Architecture )
-
-	do_alltests		= RunAllTests.toBoolean()
-	do_benchmark	= RunBenchmark.toBoolean()
-	do_doc		= BuildDocumentation.toBoolean()
-	do_publish		= Publish.toBoolean()
-	do_sendemail	= ! Silent.toBoolean()
+	compiler 		= compiler_from_params( pCompiler )
+	architecture 	= architecture_from_params( pArchitecture )
+
+	do_alltests		= pRunAllTests.toBoolean()
+	do_benchmark	= pRunBenchmark.toBoolean()
+	do_doc		= pBuildDocumentation.toBoolean()
+	do_publish		= pPublish.toBoolean()
+	do_sendemail	= ! pSilent.toBoolean()
 
 	echo """Compiler 			: ${compiler.name} (${compiler.cpp_cc}/${compiler.cfa_cc})