JsonRPC Servlet update
Jetty update