This problem has been solved by adding the "default" servlet:
<servlet>
<servlet-name>default</servlet-name>
<servlet-class>org.apache.catalina.servlets.DefaultServlet</servlet-class>
</servlet>
[Message sent by forum member 'vstar' ]
http://forums.java.net/jive/thread.jspa?messageID=375976