Re: [jboss-dev] jboss-web_5_0.dtd push to jboss.org