Java Web <servlet-name></servlet-name>标签显示红色，可我看着没有问题啊

问题遇到的现象和发生背景

用代码块功能插入代码，请勿粘贴截图

我想要达到的结果

只有 servlet-name 没有servlet-mapping么，鼠标放到红色报错的地方看下具体是什么错误信息，是不是需要加上servlet-mapping