The WebDAV Provider based on HTTP4 File Provider