[jbosstools-builds] Build failed in Jenkins: devstudio-6.0_stable_branch.discovery #4