Using jetty 9 instead of tomcat server