replacing Tomcat with Jetty because Tomcat class-loader has several bugs that make it impossible to run tests