Fixed compilation error caused by Jetty 9.1.0.RC2.