[jboss-user] [JBoss Tools Users] - Re: How to update version of RichFaces used by JBossTools?