Verify both patched and full installations of wildfly work with the given tools and serverbean loader:

The standard full distro is here:
http://download.jboss.org/wildfly/8.1.0.CR4/wildfly-8.1.0.CR4.zip

In addition we will be offering a patch which is available here:

http://download.jboss.org/wildfly/8.1.0.CR4/wildfly-8.1.0.CR4.patch

To install the patch first begin with 8.0.0.Final then:

1. Start it
2. ./bin/jboss-cli.sh
3. connect
4. patch apply wildfly-8.1.0.CR4.patch
5. quit
6. Restart the server, which should then report itself as 8.1.0.CR4