Jetty as main web server and javax.servlet container