项目报错Cannot resolve Servlet '*'

web.xml文件解析时报错如下：

Cannot resolve Servlet 'SpringMVC' less... (Ctrl+F1) 
Inspection info: This inspection lets you spot the following problems that might occur in descriptors that are used to deploy your Web Module to a server:
References to the non-instantiable classes
References to the classes that do not extend required class
References to classes with inappropriate scope
Empty tag and attribute values
Tag and attribute values that do not match required pattern (e.g. Java Identifiers)
Tags that do not include required children tags or attributes
Tags that define objects with duplicate names

问题原因可能是项目没有识别，在IDEA里选择项目，按F4，在弹出的项目配置里进行配置。