Simple ResponseHeadersFilter for Tomcat