jp6/cu130: links for jetty-ee10-websocket-servlet
root/pypi
jetty-ee10-websocket-servlet-12.0.11.tar.gz