如何使用JDK8在Eclipse中导入javax.faces库？

根据使用JSF的建议，下面的示例将被运行，以了解有关JSF的更多信息并将此技术实现到servlet中。但是，无法导入许多库：

package tobedefinedservlet;

import javax.faces.bean.ManagedBean;

@ManagedBean
public class Hello {

    final String world = "Hello World!";

    public String getworld() {
        return world;
    }
}

javax.faces

The import javax.faces cannot be resolved

ManagedBean

ManagedBean cannot be resolved to a type