Pesquisa sobre Portais

Pessoal,

alguém já trabalhou com um desses portais:

. JBossPortal
. Jeetspeed
. liferay

ou outro open source de qualidade ?