change user in CAS serviceResponse element

[Scott Koranda]

Hello,

I am using IdP version 3.1.2.

I am able to cause attributes to be sent in a CAS service
response element. For example

<?xml version="1.0" encoding="UTF-8"?>
<cas:serviceResponse xmlns:cas="http://www.yale.edu/tp/cas">
  <cas:authenticationSuccess>
    <cas:user>skoranda</cas:user>
    <cas:attributes>
      <cas:mail>skoranda at gmail.com</cas:mail>
      <cas:givenName>Scott</cas:givenName>
      <cas:sn>Koranda</cas:sn>
    </cas:attributes>
  </cas:authenticationSuccess>
</cas:serviceResponse>

How do I change what is sent for the value of <cas:user>?

I tried just adding and releasing an attribute with id="user"
but that simply causes an element <cas:user> to be added
within the <cas:attributes> element and does not replace the
<cas:user> element.

Thanks,

Scott K