diff --git a/src/main/java/org/olat/basesecurity/BaseSecurityManager.java b/src/main/java/org/olat/basesecurity/BaseSecurityManager.java index a7531f8b3cdffaa3d8728b0db0238bd5c682a3ba..33de84d86732f0cc07d01d6fbd864f49d601e457 100644 --- a/src/main/java/org/olat/basesecurity/BaseSecurityManager.java +++ b/src/main/java/org/olat/basesecurity/BaseSecurityManager.java @@ -32,6 +32,7 @@ import java.util.Collection; import java.util.Collections; import java.util.Date; import java.util.HashMap; +import java.util.HashSet; import java.util.List; import java.util.Locale; import java.util.Map; @@ -1123,7 +1124,7 @@ public class BaseSecurityManager implements BaseSecurity, UserDataDeletable { reloadedIdentity.setDeletedBy(getDeletedByName(doer)); reloadedIdentity.setDeletedDate(new Date()); - List<String> deletedRoles = getRolesSummaryWithResources(reloadedIdentity); + Collection<String> deletedRoles = new HashSet<>(getRolesSummaryWithResources(reloadedIdentity)); StringBuilder deletedRoleBuffer = new StringBuilder(); for(String deletedRole:deletedRoles) { if(deletedRoleBuffer.length() > 0) deletedRoleBuffer.append(",");