Java Jetty Helloworld guide: text update