Including mime-mapping in web.xml not working?

When I include the following XML chunk:

<mime-mapping>
<extension>cer</extension>
<mime-type>application/x-x509-ca-cert</mime-type>
</mime-mapping>

in my web.xml deployment descriptor I get the following exception:

[WARN] Unable to process 'file:/C:/Users/andrew/Documents/DevProjects/
WebApps/ta/war/WEB-INF/web.xml' for servlet validation
javax.servlet.UnavailableException: Configuration problem
at
org.mortbay.jetty.webapp.WebXmlConfiguration.initialize(WebXmlConfiguration.java:
298)
at
org.mortbay.jetty.webapp.WebXmlConfiguration.configure(WebXmlConfiguration.java:
222)
at com.google.gwt.dev.ServletValidator.create(ServletValidator.java:
69)
at com.google.gwt.dev.ServletValidator.create(ServletValidator.java:
52)
at com.google.gwt.dev.DevMode.doSlowStartup(DevMode.java:356)
at com.google.gwt.dev.DevModeBase.startUp(DevModeBase.java:1057)
at com.google.gwt.dev.DevModeBase.run(DevModeBase.java:783)
at com.google.gwt.dev.DevMode.main(DevMode.java:275)
Loading modules
com.bcntouch.ta.landing
Validating <servlet> tags for module 'landing'
For additional info see: file:/C:/Program%20Files/eclipse/
plugins/com.google.gwt.eclipse.sdkbundle.2.0.4_2.0.4.v201006301254/
gwt-2.0.4/doc/helpInfo/servletMappings.html
[WARN] Module declares 1 <servlet> declaration(s), but a
valid 'web.xml' was not found at 'C:\Users\andrew\Documents\DevProjects
\WebApps\ta\war\WEB-INF\web.xml'

abd my DevMode server is not started correctly.
Simply removing that element causes the error to go away.

It seems to appear in the 2.3 servlet web.xml DTD as specified, but
maybe
GWT doesn't fully support it?

--
You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group.
To post to this group, send email to google-web-toolkit@googlegroups.com.
To unsubscribe from this group, send email to google-web-toolkit+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.