RichFaces upgraded to 4.3.1.Final