fix filter to build with servlet-2.5 api