jboss-web.xml updated