I have a web app called dev. I want to be able to set a default index.jsp file at the root of /dev, for example:

C:\jboss403\server\default\deploy\dev\index.jsp

If I type this into my browser:

http://localhost:8080/dev/

I expect to view http://localhost:8080/dev/index.jsp. However, the browser loads the default Tomcat index file, instead. Part of this default page has text that reads:

As you may have guessed by now, this is the default Tomcat home page. It can be found on the local filesystem at:

$CATALINA_HOME/webapps/ROOT/index.jsp

I am not able to locate this page anywhere on my file system.

Further, I have removed the ROOT.war file from
C:\jboss403\server\default\deploy\jbossweb-tomcat55.sar to make sure it is not getting the index.jsp from there.

Why can I not navigate to
http://localhost:8080/dev and find my index.jsp, not the default one?

Other info:
Not sure if this is a factor, but the application is deployed in an unexploded .war file and I am using forms authentication. However, forms authentication does not start at the /dev directory level.