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