Add the working configuration also to jboss-web.xml