Updating the JBoss documentation