[jboss-user] [Tomcat, HTTPD, Servlets & JSP] - Question on PHP Servlet