...
You can simply install the new version of the JBOSS Server, at least jboss-as-7.1.1.FINAL.1314.tar.gz from cdn.jtel.de.
This contains the required components, but will require that the hazelcast.xml and standalone-full.xml files are updated as described in the installation of the webserver, see here: Rolle WEB
...