Is there a way to collect HTTP metrics using the Servlet filter (i.e. non Spring application) through Micrometer. I am looking for a solution similar to io.micrometer.jersey