You can buy this project and download/modify it how often you want.
artifactId=jakarta.servlet-api groupId=jakarta.servlet version=5.0.0-M2