}

    public String[] getRoles() {
        return user.getRoleNames();
    }

    public String[] getGroups() {
        return user.getGroupNames();
    }

    public boolean isEditable() {
        return user.isEditable();
    }

    public boolean hasRole(final String role) {
        return stream(user.getRoleNames()).get(stream -> stream.anyMatch(s -> s.equals(role)));
    }

            } else {
                permissions = StringUtil.EMPTY_STRINGS;
            }
        }
        return permissions;
    }

    @Override
    public String[] getRoleNames() {
        final FessConfig fessConfig = ComponentUtil.getFessConfig();
        return stream(getPermissions()).get(stream -> stream.filter(s -> s.startsWith(fessConfig.getRoleSearchRolePrefix()))

        }

        @Override
        public String getName() {
            return authResult.account().username();
        }

        @Override
        public String[] getRoleNames() {
            return roles;
        }

        @Override
        public String[] getGroupNames() {
            return groups;
        }

        @Override

                                    });
                        });

                        final List<String> newRoleList = stream(user.getRoleNames()).get(stream -> stream.collect(Collectors.toList()));
                        stream(user.getRoleNames()).of(stream -> stream.forEach(name -> {
                            if (oldRoleList.contains(name)) {
                                oldRoleList.remove(name);

            logger.debug("[updateMemberOf] Initial groups/roles set for user: {}. Groups: {}, Roles: {}", user.getName(),
                    Arrays.toString(user.getGroupNames()), Arrays.toString(user.getRoleNames()));
        }

        // Schedule lazy loading of parent groups
        if (!groupIdsForParentLookup.isEmpty()) {
            if (logger.isDebugEnabled()) {