MicrometerMetricsOptions()
Creates default options for Micrometer metrics.
MicrometerMetricsOptions(other: MicrometerMetricsOptions)
Creates new options object for Micrometer metrics, which is a copy of other.
MicrometerMetricsOptions(json: JsonObject)
Creates new options object for Micrometer metrics from json input.