using jetty instead of tomcat (runs better with atmosphere websockets)