Add WebdavServlet source (Tomcat source code)