CharacterEncodingFilter: Abort session only on thrown ServletException