https://docs.oracle.com/cd/E17802_01/webservices/webservices/docs/1.6/api/javax/servlet/http/HttpServlet.html
HttpServlet (Java(TM) Web Services Developer Pack (Version 1.6))
tm webdeveloper packjavaservicesversion
https://jakarta.ee/specifications/servlet/6.1/apidocs/jakarta.servlet/jakarta/servlet/http/class-use/httpservlet
Uses of Class jakarta.servlet.http.HttpServlet (Jakarta Servlet API documentation)
jakarta servletusesclasshttpapi