Port Jeremy's servlet init code to jetty9 service