spring.jmx.default-domain and endpoints.jmx.domain not properly documented

[dsyer]

Aside from the inconsistent naming, there is a problem with the spring.jmx.* configuration not being documented (it's not using @ConfigurationProperties either).