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

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。这看起来像一个细粒度的设置，应该只禁用DataSource MBean被Spring公开，对吗？但事实并非如此。除非我禁用所有JMX，否则DataSource MBean将被复制。