public void doFilter(ServletRequest request, ServletResponse response, FilterChain chain) 
                  throws IOException, ServletException {
        ((HttpServletResponse) response).setHeader("Pragma", "No-cache");
        ((HttpServletResponse) response).setHeader("Cache-Control", "no-cache");
        ((HttpServletResponse) response).setHeader("Expires", "0");
        chain.doFilter(request, response);
    }
麻烦哪位帮忙解释下
((HttpServletResponse) response)  的含义啊     HttpServletResponse是一个接口    完全没搞懂这里的用法