Currently ServletDispatchingFilter uses HttpServlet to store a reference to Servlet it is dispatching to. I would strongly recommend this to use the more general Servlet interface to support e.g. the FacesServlet (which is not a HttpServlet but a Servlet).

We claim in 3.5 the integration of different technologies, though I think we should solve this small issue before final release (as it is very simple to do so).