switch to newer jetty in onionoo
test the latest available (on debian stable, currently jessie) jetty with Onionoo and update, if this is useful.
test the latest available (on debian stable, currently jessie) jetty with Onionoo and update, if this is useful.