Build #4438

Parameters
 BUILD_TYPE
The specialized builds types are generally launched from the specific jobs for that purpose:
 BUILD_KEY
The build key used by composeRepositories.sh and promote.sh. It is generally left blank and will be determined by the BUILD_TYPE/BUILD_TIMESTAMP.
 BUILD_LABEL
If you need a build label at all, you should be using:
 CHECKOUT_REF
 SCRIPT_DEBUG
Whether to enable "-x" for the bash scripts used for repository composition and promotion.
 MAVEN_BUILD
Skips the Maven/Tycho part of the build. Do not set this to false unless you really know what you're doing because old results of a previous build will be used.
 GENERATE_SOURCE
Whether to generate source bundles and features during the Maven/Tycho build.
 PACK_AND_SIGN
Whether to package and sign the artifacts during the Maven/Tycho build.
 REPACKAGE
Whether to invoke the repackage.sh script.
 PROMOTE
Whether to invoke the promote.sh script.