void setPrincipal(java.security.Principal principal) { if (principal != null) { this.principal = new Principal(principal.getName()); } }
void setPrincipal(java.security.Principal principal) { if (principal != null) { this.principal = new Principal(principal.getName()); } }