Java - HttpServlet补丁方法

Question

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

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