问题：我的任务是构建一个链接到本地根文件夹的基本 WebDAV servlet。目前，servlet 必须支持目录列表和 GET，以获取所需的文件。所有这些都必须遵循 WebDAV 协议。此外，必须在 Java 中完成，最好是在 Tomcat 下。
背景：到目前为止，我对 HTTP Servlet、Tomcat 等的接触非常有限，这就是为什么我觉得这项任务相当困难的原因。虽然我了解 HTTP servlet 的工作原理，但我不明白如何从 HTTP servlet 转换到 WebDAV servlet。
方法：我的想法是扩展WebDAVServlet类（org.apache.catalina.servlets.WebdavServlet）并实现doPropfind方法和doGet方法。但是，在阅读了 WebDAVServlet 类之后，这些方法似乎已经实现了。如果是这种情况，我可以使用什么作为客户端来使用该功能（我可以以某种方式发送代表 HTTP 请求的 XML 文件，只是为了学习目的吗？）？然后，我应该扩展什么来构建我需要阅读的服务器。
简而言之：如果你必须建造我需要建造的东西，你会怎么做？你会扩展什么类等等。开始我发现的实际实现是最困难的事情。如果我要看到一个非常基本的 WebDAV servlet 示例，我相信我可以在此基础上构建，但目前我被卡住了，任何帮助，任何资源，任何链接都将不胜感激。
提前谢谢你，我为这个菜鸟问题道歉。