attempt to support Jetty 9 (unsuccessful because of incompatibility)