jetty doc update