https://jakarta.ee/specifications/platform/9.1/apidocs/jakarta/servlet/servletsecurityelement
ServletSecurityElement (Jakarta EE Platform API)
jakarta ee platformapi
https://projects.eclipse.org/projects/ee4j.jakartaee-platform/releases/core-profile-10
Jakarta EE Platform Core Profile 10 | projects.eclipse.org
The Jakarta EE Core Profile defines a profile of the Jakarta EE platform specifically targeted at smaller runtimes. The goals for this release are:
jakarta ee platformcoreprofileprojectseclipse