[jbosstools-builds] Jenkins build is back to normal : jbosstools-4.0_stable_branch.target-platforms.maximum #14