found some inconsistencies between deployment on tomcat vs. jetty via SBT