Tomcat 7 Valve to gather timing metrics on requests.