Any reason for not defining "final Set<Principal>" on this line?