WebDAV servlet is a filter now too