code: 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());
  
      }
docs: 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.