docs: private Privilege[] excludePrivilege( Privilege[] privileges,
                                            JcrPermission permission ) {
          ArrayList<Privilege> list = new ArrayList<>();
  
          for (Privilege privilege : privileges) {
              if (!privilege.getName().equalsIgnoreCase(permission.getName())) {
                  list.add(privilege);
              }
          }
  
          Privilege[] res = new Privilege[list.size()];
          list.toArray(res);
          return res;
      }