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