A version of the Jetty webserver, ported to LibRIPC