initial code (jetty hello world)