New principal.getActingUser improving on getOriginatingUser

Nearly all the uses of principal.getOriginatingUser() are of the form:

String name = principal.getOriginatingUser();
if (name == null) {
    name = principal.getName();
}

Move that to a utility method getActingUser(), to use instead of having callers of getOriginatingUser that don't pay attention to the null case.