[jbosstools-builds] Build failed in Jenkins: jbosstools-4.0_stable_branch.aggregate #257