An AJAX application using JSF