[jboss-dev-forums] [Design of JBoss/Tomcat Integration] - username/password for tomcat pages