Hi,
it is not a problem to "manualy" use infinispan/jgroups/hornetq but you could just import them from modules via manifest.mf or jboss-deployment-structure.xml.
also you can upgrade infinispan in your AS to 5.1.3. it won't couse any problems.
What ware you exact problems you had with hornet/rest/jndi it would be nice to know.
also lots of problems with hornetq integration was fixed in 7.1.2.final / 7.2.0.x nightly builds.
--
tomaz