Fixing configuration issues with JBoss