Bring back support for mounting raw servlets in Jetty and Tomcat.