Using tomcat instead of jetty