How do I configure Tomcat to use the /servlet directory of a web application
other than the ROOT application?