Update Jetty 9.1 webdefault.xml.