Has extension mapping changed in 3.2?

I had been using an extension mapping to serve XML files in Tomcat 3.1 via my own servlet. I just downloaded 3.2, and it no longer seems to work (Tomcat returns the file, but it doesn't go through my servlet). I have the following stuff in Tomcat's conf\web.xml file at the appropriate places,

Re: Howto : Extension file mapping ?

The servlet gets the usual references to a HttpServletRequest and HttpServletResponse, but it can get the full path of the file it is being asked to serve using the expression getServletContext().getRealPath(request.getServletPath()), where 'request' is the HttpServletRequest passed to doGet() or