web-app标签爆红问题（未解决）

web-app标签爆红问题（未解决）

今天在学习JavaWeb时新建了一个web项目，然后在web.xml文件里粘贴了一个新的文件头，

没想到这个version=‘4.0’就莫名其妙的报错了。
百度了半天都没有找到问题所在，只找到了一个不算办法的办法，那就是把‘4.0’改成‘3.1’，我试了一下

果然不爆红了，可是这个办法治标不治本，可惜我能力有限，只能先用这个办法将就一下了。