Latest version of org.mortbay.jetty:servlet-api
https://javadoc.io/doc/org.mortbay.jetty/servlet-api
Current version 2.5-20081211
https://javadoc.io/doc/org.mortbay.jetty/servlet-api/2.5-20081211
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/org.mortbay.jetty/servlet-api/2.5-20081211/package-list