replace jetty with tomcat