Merge the jakarta branch

It’s part of Introduce new jakarta servlet related APIs.