Update richfaces.js