Since we can switch to a framework other than DropWizard for metrics. This obsolesces Metrics, which has a hard dependency to the DropWizard APIs.
added SessionBuilder.withMetricRegistry, which provides a workaround: the user can now inject their own registry, and retrieve the metrics from it once the session has initialized. However, this forces them to build the metric paths manually, which is kind of annoying.
We could expose that functionality as a standalone utility. Tentative API:
The implementation is essentially what buildFullName does in the metric updater classes. It's the same in all our built-in implementations.