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