[jbosstools-builds] Jenkins build is back to normal : devstudio-6.0_stable_branch.discovery #7