为什么需要 spring.jmx.enabled=false 来防止重复的 DataSource MBeans？

Question

我正在构建一个部署到 Tomcat 的 Spring Boot Web 应用程序，它使用 JNDI 构建一个 DataSource bean。

我有以下条目application.properties以防止在 JMX 中创建重复的 DataSource MBean

# Prevent Spring from automatically exposing beans to JMX. Tomcat automatically creates an MBean when setting the
# JNDI data source, and an error gets thrown if spring then tries to add the data source MBean itself.
spring.jmx.enabled=false

但我的问题是：有一个名为的属性被默认spring.datasource.jmx-enabled设置为false。这似乎是一个细粒度的设置，应该只禁止数据源 MBean 被 Spring 公开，对吗？但事实并非如此。除非我禁用所有 JMX，否则 DataSource MBean 将被复制。