Replacing Principal with HttpServletRequest in IWebdavStore