Java-HttpServlet补丁方法

Question

我正在使用Java中的基本Servlet实现REST Api，但似乎找不到doPatch()方法。

为什么不HttpServlet实现PATCH方法？我想使用它，因为它对于资源更新更有意义。