switching from tomcat to jetty on heroku