public TheBenchUser(TheBenchPrincipal principal) { Principal = principal; }
public TheBenchUser(TheBenchPrincipal principal) { Principal = principal; }
public TheBenchUser(TheBenchPrincipal principal) { Principal = principal; }
public TheBenchUser(TheBenchPrincipal principal) { Principal = principal; }