报错：Servlet cannot be resolved to a type，可是已经包含了这个库了

已经包含了servlet库，为何还会报错

---

Tomcat提供的Servlet api只在程序运行时有效，程序编译和测试时如果有依赖的话还是要自己添加。