[jbosstools-dev] Jenkins build is back to normal : jbosstools-4.0_stable_branch.aggregate #6