Other web servers

Read this section if you have another web server than Apache Tomcat.