关于Cannot resolve symbol ‘servlet‘报错

最近跟着黑马程序员的javaWeb课程学习servlet，在实现servlet接口时一直报错Cannot resolve symbol 'servlet'，在Libraries 里添加了tomcat/lib/servlet-api.jar也未得到解决，尝试了各种方法都不行。后来选择了继承HttpServlet问题得到解决。（不知道是否是软件版本问题？）

查询资料发现继承HttpServelt实际上也实现了servlet接口，并且只需要重写类中的一个或多个方法。

如果实现Servlet接口需要将其所有的抽象方法实现。