Update Jetty webdefault.xml.