Update docs/infinispan-in-jboss7.asciidoc