Fixed compilation failures due to upgrade to Jetty 9.1.0.RC1.