Hello world: Spring mvc + jetty