Jakarta EE 9 Platform TCK test TCK servlet/api/jakarta_servlet/servletcontext/URLClient.java#GetMajorVersionTest is failing with:

[javatest.batch] getMajorVersion() returned 4
[javatest.batch] Expected ServletContext.getMajorVersion() -> 5
[javatest.batch] Test FAILED

Likely cause is https://github.com/undertow-io/undertow/blob/master/servlet/src/main/java/io/undertow/servlet/api/DeploymentInfo.java#L72 returning major Servlet API SPEC version of 4 instead of 5. Version 4 is correct for https://jakarta.ee/specifications/servlet/4.0 and version 5 would be correct for https://jakarta.ee/specifications/servlet/5.0/