oii qeria saber se é do jsf 1 ou 2.
o a4j é uma biblioteca do richFaces. É usado como dependência no JSF 1.2 e no JSF 2.0 ele já vem de forma nativa, sem precisar importar nada
Faz parte do Ajax4JSF que foi um projeto anexado ao RichFaces do JBoss, então, passou a ser uma distribuição já inclusa nas releases do RichFaces.
Lembre-se que para JSF 2.0 você tem acesso nativo ao AJAX da própria implementação da Sun, sem precisar recorrer a outras libs.