在project的.setting folder下面,有个名为org.eclipse.wst.common.project.facet.core.xml的文件,里面配置有各种版本信息。此时,按照本机配置修改这个文件,问题就解决了。
<?xml version="1.0" encoding="UTF-8"?>
<faceted-project><runtime name="Apache Tomcat v5.5"/><fixed facet="jst.web"/><fixed facet="jst.java"/><installed facet="jst.java" version="5.0"/><installed facet="jst.web" version="2.4"/><installed facet="wst.jsdt.web" version="1.0"/></faceted-project>