Build #138

Parameters
 OCL_REPO
The repo to be tested: - the most recent master build - the most recent ocl-branch-tests build - the most OCL release
 BRANCH_NAME
 JAVA_TOOL_OPTIONS
Deactivates JAVA_TOOL_OPTIONS defined in the inherited environment
 _JAVA_OPTIONS
Deactivates _JAVA_OPTIONS defined in the inherited environment