[jakartaee-platform-dev] jsp_3_1.xsd?

[Scott Stark <starksm64@xxxxxxxxx>]

I'm looking at making sure the current EE10 schemas are updated, and I see a jsp_3_1.xsd file on the jakarta.ee page: https://jakarta.ee/xml/ns/jakartaee/jsp_3_1.xsd

but I don't see the corresponding schema file in the https://github.com/eclipse-ee4j/servlet-api.git where the jsp_3_0.xsd file is. I also don't see it in the https://github.com/jakartaee/pages repo.

What is the source of this schema?

Thanks,

Scott