Environment entries for 5.2.2 war deployed to Tomcat 8.5

[Scot Lange]

I am trying to set the database configuration for the JPA ticket registry. I can get it to work if I include an application.yml file in my resources with the following:
cas.ticket.registry.jpa:
  driverClass: com.microsoft.sqlserver.jdbc.SQLServerDriver
  dialect: org.hibernate.dialect.SQLServerDialect
  ddlAuto: update
  user: someUser
  password: somePassword
  url: jdbc:sqlserver://someServer:1433;databaseName=someDb

I would like to configure it with environment entries in a context descriptor instead:
<Context>
  <Environment name="cas.standalone.config" value="" type="java.lang.String" />
  <Environment name="cas.ticket.registry.jpa.url" value="jdbc:sqlserver://someServer:1433;databaseName=someDb" type="java.lang.String"/>
   ....
</Context>

The value for cas.standalone.config does get picked up, but the database URL does not. The configuration overview says that JNDI attributes from java:comp/env will be fed into CAS, but is that just for some top-level configuration and not for more detailed configuration?