Make Jetty 9.1.0 + JSR 356 happy