initial conversion of jetty to tomcat