Java Servlet filter that records web traffic and collects statistics