Case Study: JSF Viewstate