A programmable http server based on Jetty