initial conversion from tomcat to jetty