Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision cdb596105a9157cad2d208e075e52ee26998211b)
+++ Jenkinsfile	(revision 8f466d4db75c1ecb22e2eee7f4b835291d9ccf3f)
@@ -100,11 +100,11 @@
 
 	BuildSettings(java.util.Collections$UnmodifiableMap param, java.util.TreeMap scmVars) {
-		this.Compiler	      = compiler_from_params( params.Compiler )
-		this.Architecture       = architecture_from_params( params.Architecture )
-		this.RunAllTests        = params.RunAllTests
-		this.RunBenchmark       = params.RunBenchmark
-		this.BuildDocumentation = params.BuildDocumentation
-		this.Publish            = params.Publish
-		this.Silent             = params.Silent
+		this.Compiler	      = compiler_from_params( param.Compiler )
+		this.Architecture       = architecture_from_params( param.Architecture )
+		this.RunAllTests        = param.RunAllTests
+		this.RunBenchmark       = param.RunBenchmark
+		this.BuildDocumentation = param.BuildDocumentation
+		this.Publish            = param.Publish
+		this.Silent             = param.Silent
 		this.IsSandbox          = scmVars.GIT_BRANCH == "jenkins-sandbox"
 		this.Branch             = scmVars.GIT_BRANCH
@@ -113,5 +113,5 @@
 		this.RepoUrl            = scmVars.GIT_URL
 
-		def full = params.RunAllTests ? " (Full)" : ""
+		def full = param.RunAllTests ? " (Full)" : ""
 		this.DescShort = "${ this.Compiler.cc_name }:${ this.Architecture.name }${full}"