Revised RequestDumperFilter to support Servlet API 2.5 and Servlet API 3.0.