code: void removeEmptyRole(Grantee role) {
  
          for (int i = 0; i < map.size(); i++) {
              Grantee grantee = (Grantee) map.get(i);
  
              grantee.roles.remove(role);
          }
      }
docs: Removes a role without any privileges from all grantees