Showing CAS username in ZK

After authenticating, CAS saves the username in a session variable as documented on the jasig site.

ZK has good offline documentation on how implicit objects session and sessionScope can be used but I needed to access Sun's Java EE tutorial's unified EL page because of my rusty EL.

Here's how I did it in a ZK label.

<label value="Welcome ${sessionScope['edu.yale.its.tp.cas.client.filter.user']}"/>