Build #4

Parameters
 BUILD_TYPE
Sets the build type. CI builds are used for testing reasons only; integration builds are periodic builds; milestones are considered more-or-less stable, while releases are Eclipse.org releases with a corresponding release review.
 GERRIT_EVENT_HASH
 GERRIT_BRANCH
 GERRIT_CHANGE_NUMBER
 GERRIT_CHANGE_ID
 GERRIT_PATCHSET_NUMBER
 GERRIT_PATCHSET_REVISION
 GERRIT_REFSPEC
 GERRIT_PROJECT
 GERRIT_CHANGE_SUBJECT
 GERRIT_CHANGE_URL
 GERRIT_CHANGE_OWNER
 GERRIT_CHANGE_OWNER_NAME
 GERRIT_CHANGE_OWNER_EMAIL
 GERRIT_PATCHSET_UPLOADER
 GERRIT_PATCHSET_UPLOADER_NAME
 GERRIT_PATCHSET_UPLOADER_EMAIL
 GERRIT_EVENT_ACCOUNT
 GERRIT_EVENT_ACCOUNT_NAME
 GERRIT_EVENT_ACCOUNT_EMAIL