two different versions of web.dtd and other issues

[Petr Jiricka <pe...@netbeans.com>]

Hello,

I noticed that there are two different versions of web.dtd all over Tomcat
source/build/dist directories: one of size 16039 seems to be included in
Tomcat code, the other of size 15911 seems to be included in user
directories. Can you please explain what's the difference and what has
changed ? 

Another issue: I heard that conf/web.xml is not used now as a default
web.xml. What's the status of this file ? Is it *ever* used ? Or is it
something like "it is only used if ...." ? Either way, it seems broken
anyhow, as "org.apache.jasper.runtime.JspServlet" is out of date, now it
should be org.apache.jasper.servlet.JspServlet. Shouldn't conf/web.xml be
removed ?

I am talking about the tomcat_32 branch.

Thanks
Petr