private void addSystemPermissions(Set<SystemPermission.Type> permissions,
            SystemPermissionSet permSet) throws GuacamoleException {

        // Add all provided system permissions 
        for (SystemPermission permission : permSet.getPermissions())
            permissions.add(permission.getType());

    }
Adds the system permissions from the given SystemPermissionSet to the
Set of system permissions provided.

@param permissions
    The Set to add system permissions to.

@param permSet
    The SystemPermissionSet containing the system permissions to add.

@throws GuacamoleException
    If an error occurs while retrieving system permissions from the
    SystemPermissionSet.
guacamole/src/main/java/org/apache/guacamole/rest/permission/APIPermissionSet.java