Spring WebMVC / Jetty example