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