Make JMX metrics domain configurable

[markusheiden]

It would be nice, if io.micrometer.jmx.JmxConfig / org.springframework.boot.actuate.autoconfigure.metrics.export.jmx.JmxProperties in JmxMetricsExportAutoConfiguration would be configurable (@ConfigurationProperties).

I am deploying multiple spring boot apps to a Tomcat and would like to avoid JMX name clashes. Minimum requirement for that is to make the JMX domain configurable.

[snicoll]

Looks like an oversight to me, thanks for the report. You can workaround now by defining your own JmxConfig.