building on jetty instead of tomcat