[jbosstools-dev] Build failed in Jenkins: jbosstools-4.0_trunk.aggregate #5517