RichFaces поставляется с jQuery. Использование этого встроенного jQuery совершенно правильно.
Вы можете загрузить эту встроенную библиотеку jQuery, добавив на свою страницу следующее:
<a4j:loadScript src="resource:///org/richfaces/renderkit/html/scripts/jquery/jquery.js"/>