Fix Servlet startup with mvn jetty:run.