eclipse下项目找不到javaee库中的包的情况

以前创建的一个项目，打开的时候总是报错。

import javax.servlet.ServletException;

import javax.servlet.annotation.WebServlet;

import javax.servlet.http.HttpServlet;

import javax.servlet.http.HttpServletRequest;

import javax.servlet.http.HttpServletResponse;

后来想起当时这个项目是发布在tomcat7.0下面的， 

也就是说当时这个项目buildpath下"add library->Server runtime是tomcat7.0，

而现在我给这个项目添加的server runtime是tomcat 6.0（或者没有添加tomcat），

所以会出现这样的错误,当我改了server runtime为tomcat 7.0以后就没有报错了。

总结：eclipse下的web项目，他的javax.servlet下的包都是要应用tomcat下的库的，所以一旦tomcat位置变化等原因，就会发生找不到包的情况。