io.dropwizard.metrics5:metrics-jakarta-servlet (maven):  An instrumented filter for servlet environments. 
Keywords: dropwizard-metrics|java|metrics|metrics-library