Use Tomcat instead of Jetty (better error reporting)