https://jakarta.ee/specifications/servlet/5.0/jakarta-servlet-spec-5.0.html#request-attributes shows the property names that we should transform from javax.* => jakarta.*:

• jakarta.servlet.error.status_code
• jakarta.servlet.error.exception_type
• jakarta.servlet.error.message
• jakarta.servlet.error.exception
• jakarta.servlet.error.request_uri
• jakarta.servlet.error.servlet_name

We likely can handle transforming the javax.* String constants for the above property names to jakarta.*.