@Werner, by "use Dropwizard package names" I meant -- if we want to have an API that mimics a snapshot of Dropwizard metrics (that we could update with future versions of the MP spec), we might want to make it easy for people with apps that already are instrumented with the Dropwizard metrics by keeping their package names. The API could be exactly the API that is provided by Dropwizard-metrics -- or a subset that we decide is sufficient for our needs, avoiding any classes that are strictly present for implementation.
I think I see what you mean that we can't hijack their package name and call some derivative of their work com.codahale.metrics -- but, if we were keeping a true and exact subset of their API I don't think that would be a problem.
@Ondro, I agree with you about Option A -- effectively anyone implementing the spec would just take the appropriate version of Dropwizard-metrics and include it in their jars. I could see that version becoming the MP "sample implementation" for metrics to keep us from being dependent on Dropwizard to supply that. I do think though that an implementor of the API could choose to change the methods to their needs, based on that sample implementation, if needed.
On Option B, you said... "I'd rather choose option B, since option A has little advantage over just putting the library right into the application instead of into the MicroProfile implementation". The value IMO is to standardize Dropwizard-metrics as the API across all vendor implementations of MicroProfile. That would cover the need for a standard for metrics with something that's been widely used. It would ensure that there is a consistent metrics implementation that could be used for any MicroProfile-dependent app, without having to worry about differences between server implementations.
@Emily, we're looking through the Dropwizard-metrics packages to separate the API parts from the implementation parts. For example, I'm not sure we'd need all of the different Reporters given we're just planning to mandate one HTTP API "reporter" in the spec. We also wouldn't need all of the pre-instrumented things like Jersey, Jetty, log4J, etc -- the MP spec could limit itself to the core parts of the dropwizard-metrics API, and leave it open to vendor implementations to decide if they want to include anything more.
Don