Document the new security property jdk.security.krb5.name.case.sensitive in the Security Guide in the section "Kerberos System Properties, Security Properties, and Environment Variables"

https://docs.oracle.com/en/java/javase/22/security/kerberos-system-properties-security-properties-and-environment-variables.html