io.dropwizard.metrics5:metrics-jakarta-servlets (maven):  A set of utility servlets for Metrics, allowing you to expose valuable information about your production environment. 
Keywords: dropwizard-metrics|java|metrics|metrics-library