Java EE (Java Enterprise Edition) General Discussion

Hi all,

I am extremely new to JSF. Infact this is the first Hello World Application I am building that has Ajax Support. I have written following code from website :
[http://weblogs.java.net/blog/driscoll/archive/2008/11/a_simple_ajax_j.html]

import javax.faces.event.ActionEvent;
import javax.faces.model.ManagedBean;
import javax.faces.model.SessionScoped;

@ManagedBean(name = "count")
@SessionScoped

public class Count {
	
	Integer count = 0;

    public Integer getCount() {
        return count++;
    }

    public void reset(ActionEvent ae) {
        count = 0;
    }


}

But Eclipse is not able to find classes for:
javax.faces.model.ManagedBean
javax.faces.model.SessionScoped

Jars added currently:
jsf-api.jar
jsf-impl.jar
jstl.jar
standard.jar
servlet-api.jar

and some commons jar files.

What jars should i include. I googled for it but could not get relevant information. Sadly, www.findjar.com is down.

Thanks,
Vikash Anand.