Latest version of jakarta.servlet:jakarta.servlet-api
https://javadoc.io/doc/jakarta.servlet/jakarta.servlet-api
Current version 4.0.3
https://javadoc.io/doc/jakarta.servlet/jakarta.servlet-api/4.0.3
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/jakarta.servlet/jakarta.servlet-api/4.0.3/package-list