Links for jetty-ee10-servlet