Removing configuration for servlets that no longer exist

There are a few servlets listed in web.xml that from what I can tell no longer exist. It seems Tomcat is lenient in this regard but Jetty (and I assume other containers) may not be.