change username

[Torgeir Veimo]

Is there a method to change the username of a jackrabbit managed user?

Or is it the right way to change the rep:principalName property, along
with renaming and moving the rep:User node?

-- 
-Tor