You can buy this project and download/modify it how often you want.
artifactId=jetty-servlet groupId=org.eclipse.jetty version=9.4.53.v20231009