Ensure Tomcat root directory can be used by WebDAV