tomcat8 - javax.servlet无法解析

Question

我正在使用Tomcat8.0.3并且我有以下servlet（测试目的）： （eclipse版本4.3.1在64位Ubuntu上）

package test;

import javax.servlet.http.HttpServlet;
public class Hello extends HttpServlet {
    // ...
}

在Tomcat启动并在Eclipse中运行此servlet之后，我得到了这个：

java.lang.Error: Unresolved compilation problems: 
The import javax.servlet cannot be resolved
HttpServlet cannot be resolved to a type

我已按照此处设置了所有内容：How do I import the javax.servlet API in my Eclipse project? 但它仍然不起作用。

有人可以帮忙做点什么吗？

有趣的是Tomcat 7一切正常，但是Tomcat 8却没有。