tomcat 9 casting servlets to javax.servlet.Servlet instead of jakarta.servlet.http.HttpServlet

Question

I have been trying in vain to implement tomcat 9\'s jakarta servlet as opposed to the previous javax.servlet implementation (as its my understanding that the jakarta packag