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