JSF Contracts Example