(SERVER-35) Update TK Jetty9 to 0.8.0