Try adding the following file as /WEB-INF/jboss-web.xml in your application.
Deploy your application again. You should now be able to access it via http://server[:port]/
Hope this helps,
Thank you very much for that.
This works fine, but I also removed ROOT.war from deploy/jbossweb-tomcat50.sar, and named my own application web archive ROOT.war (deployed within my own application's EAR file).
I'm not sure what all the functions of the default ROOT.war are, and whether I'm missing something by removing it!?
Right now, it all seems to work, though.