Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision aeac57362d2f036ab271720f6812d94b074a3a61)
+++ Jenkinsfile	(revision c617272978dc20797ee548e4f19ffd8cf51f2504)
@@ -178,8 +178,5 @@
 						  description: 'If true, the build will be promoted to the do-lang git repository (on successful builds only)', \
 						  name: 'promoteBuild2DoLang' 					\
-						]] 								\
-					],									\
-					[$class: 'ParametersDefinitionProperty',				\
-						parameterDefinitons: [						\
+						], 								\
 						[$class: 'StringParameterDefinition',				\
 						  defaultValue: '64bit',					\