Latest version of org.eclipse.jetty:jetty-servlets
https://javadoc.io/doc/org.eclipse.jetty/jetty-servlets
Current version 9.4.9.v20180320
https://javadoc.io/doc/org.eclipse.jetty/jetty-servlets/9.4.9.v20180320
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/org.eclipse.jetty/jetty-servlets/9.4.9.v20180320/package-list