}

    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)));
    }

     */
    String[] getPermissions();

    /**
     * Determines if the user's information can be edited.
     * @return True if the user's information is editable, false otherwise.
     */
    default boolean isEditable() {
        return false;
    }

    /**
     * Refreshes the user's information from the underlying data source.
     * @return True if refresh was successful, false otherwise.
     */

     *
     * @return The environment for LDAP connection.
     */
    public Hashtable<String, String> getEnvironment() {
        return env;
    }

    @Override
    public boolean isEditable() {
        return ComponentUtil.getFessConfig().isLdapAdminEnabled(name);
    }

    private static String[] distinct(final String[] values) {
        if (values == null) {

        stream(getGroups()).of(stream -> stream.forEach(s -> list.add(fessConfig.getRoleSearchGroupPrefix() + decode(s))));
        return list.toArray(new String[list.size()]);
    }

    @Override
    public boolean isEditable() {
        return true;
    }

    public Map<String, String> getAttributes() {
        return attributes;
    }

    public void setAttributes(final Map<String, String> attributes) {

     */
    boolean isReadable();

    /**
     * Returns whether the property value can be set.
     *
     * @return whether the property value can be set
     */
    boolean isWritable();

    /**
     * Returns the public field recognized as a property.
     *
     * @return the public field recognized as a property
     */
    Field getField();

    /**