Fix for Jetty 8 webdefault.xml compatibility with Jdk 1.6