Digging a bit into this: see the below output showing the system property is in fact still set, but CAS 7.2.0 is ignoring it.
Is this a bug perhaps?
./jcmd 926486 VM.system_properties
926486:
#Mon Mar 31 17:20:08 EDT 2025
APPLICATION_NAME=cas
CONFIG_VALIDATION_STATUS=true
CONSOLE_LOG_CHARSET=UTF-8
FILE_LOG_CHARSET=UTF-8
LOGGED_APPLICATION_NAME=[cas]
PID=926486
catalina.base=/usr/local/apache-tomcat-10.1.39
catalina.home=/usr/local/apache-tomcat-10.1.39
catalina.useNaming=true
com.sun.org.apache.xml.internal.security.ignoreLineBreaks=true
common.loader="${catalina.base}/lib","${catalina.base}/lib/*.jar","${catalina.home}/lib","${catalina.home}/lib/*.jar"
file.encoding=UTF-8
file.separator=/
java.awt.headless=true
java.class.path=/usr/local/tomcat-latest/bin/bootstrap.jar\:/usr/local/tomcat-latest/bin/tomcat-juli.jar
java.class.version=65.0
java.home=/usr/local/jdk-21.0.2
java.io.tmpdir=/usr/local/tomcat-latest/temp
java.library.path=/usr/java/packages/lib\:/usr/lib64\:/lib64\:/lib\:/usr/lib
java.naming.factory.initial=org.apache.naming.java.javaURLContextFactory
java.naming.factory.url.pkgs=org.apache.naming
java.protocol.handler.pkgs=org.apache.catalina.webresources
java.runtime.version=21.0.2+13-58
java.specification.vendor=Oracle Corporation
java.specification.version=21
java.util.logging.config.file=/usr/local/tomcat-latest/conf/logging.properties
java.util.logging.manager=org.apache.juli.ClassLoaderLogManager
java.vendor=Oracle Corporation
java.version=21.0.2
java.version.date=2024-01-16
java.vm.compressedOopsMode=Zero based
java.vm.specification.vendor=Oracle Corporation
java.vm.specification.version=21
java.vm.vendor=Oracle Corporation
java.vm.version=21.0.2+13-58
jdk.debug=release
jdk.tls.ephemeralDHKeySize=2048
line.separator=\n
log4j2.formatMsgNoLookups=true
native.encoding=ANSI_X3.4-1968
net.sf.ehcache.skipUpdateCheck=true
opensaml.config.xml.unmarshall.strictMode=true
org.apache.catalina.security.SecurityListener.UMASK=0027
org.apache.el.GET_CLASSLOADER_USE_PRIVILEGED=false
org.apache.xml.security.XMLParser=org.opensaml.xmlsec.impl.provider.ApacheSantuarioXMLParser
org.apache.xml.security.ignoreLineBreaks=true
org.apereo.cas.util.io.PathWatcherService=false
os.arch=amd64
os.version=5.15.0-306.177.4.el9uek.x86_64
package.access=sun.,org.apache.catalina.,org.apache.coyote.,org.apache.jasper.,org.apache.tomcat.
package.definition=sun.,java.,org.apache.catalina.,org.apache.coyote.,org.apache.jasper.,org.apache.naming.,org.apache.tomcat.
path.separator=\:
reactor.schedulers.defaultBoundedElasticOnVirtualThreads=true
server.loader=
shared.loader=
stderr.encoding=ANSI_X3.4-1968
stdout.encoding=ANSI_X3.4-1968
sun.arch.data.model=64
sun.boot.library.path=/usr/local/jdk-21.0.2/lib
sun.cpu.endian=little
sun.io.unicode.encoding=UnicodeLittle
sun.io.useCanonCaches=false
sun.java.command=org.apache.catalina.startup.Bootstrap start
sun.java.launcher=SUN_STANDARD
sun.jnu.encoding=ANSI_X3.4-1968
sun.management.compiler=HotSpot 64-Bit Tiered Compilers
tomcat.util.buf.StringCache.byte.enabled=true
tomcat.util.scan.StandardJarScanFilter.jarsToScan=log4j-taglib*.jar,log4j-jakarta-web*.jar,log4javascript*.jar,slf4j-taglib*.jar
tomcat.util.scan.StandardJarScanFilter.jarsToSkip=annotations-api.jar,ant-junit*.jar,ant-launcher*.jar,ant*.jar,asm-*.jar,aspectj*.jar,bcel*.jar,biz.aQute.bnd*.jar,bootstrap.jar,catalina-ant.jar,catalina-ha.jar,catalina-ssi.jar,catalina-storeconfig.jar,catalina-tribes.jar,catalina.jar,cglib-*.jar,cobertura-*.jar,commons-beanutils*.jar,commons-codec*.jar,commons-collections*.jar,commons-compress*.jar,commons-daemon.jar,commons-dbcp*.jar,commons-digester*.jar,commons-fileupload*.jar,commons-httpclient*.jar,commons-io*.jar,commons-lang*.jar,commons-logging*.jar,commons-math*.jar,commons-pool*.jar,derby-*.jar,dom4j-*.jar,easymock-*.jar,ecj-*.jar,el-api.jar,geronimo-spec-jaxrpc*.jar,h2*.jar,ha-api-*.jar,hamcrest-*.jar,hibernate*.jar,httpclient*.jar,icu4j-*.jar,jakartaee-migration-*.jar,jasper-el.jar,jasper.jar,jaspic-api.jar,jaxb-*.jar,jaxen-*.jar,jaxws-rt-*.jar,jdom-*.jar,jetty-*.jar,jmx-tools.jar,jmx.jar,jsp-api.jar,jstl.jar,jta*.jar,junit-*.jar,junit.jar,log4j*.jar,mail*.jar,objenesis-*.jar,oraclepki.jar,org.hamcrest.core_*.jar,org.junit_*.jar,oro-*.jar,servlet-api-*.jar,servlet-api.jar,slf4j*.jar,taglibs-standard-spec-*.jar,tagsoup-*.jar,tomcat-api.jar,tomcat-coyote.jar,tomcat-coyote-ffm.jar,tomcat-dbcp.jar,tomcat-i18n-*.jar,tomcat-jdbc.jar,tomcat-jni.jar,tomcat-juli-adapters.jar,tomcat-juli.jar,tomcat-util-scan.jar,tomcat-util.jar,tomcat-websocket.jar,tools.jar,unboundid-ldapsdk-*.jar,websocket-api.jar,websocket-client-api.jar,wsdl4j*.jar,xercesImpl.jar,xml-apis.jar,xmlParserAPIs-*.jar,xmlParserAPIs.jar,xom-*.jar
user.country=US
user.dir=/
user.home=/home/tomcat
user.language=en
user.timezone=America/New_York