[jboss-as7-dev] Jenkins build is back to normal : as7-master-build #8407