code: public Result<List<String>> getUsersByRole(AuthzTrans trans, String role, boolean includeExpired) {
  		Result<List<UserRoleDAO.Data>> rurdd = q.userRoleDAO.readByRole(trans,role);
  		if (rurdd.notOK()) {
  			return Result.err(rurdd);
  		}
  		Date now = new Date();
  		List<UserRoleDAO.Data> list = rurdd.value;
  		List<String> rv = new ArrayList<String>(list.size()); // presize
  		for (UserRoleDAO.Data urdd : rurdd.value) {
  			if (includeExpired || urdd.expires.after(now)) {
  				rv.add(urdd.user);
  			}
  		}
  		return Result.ok(rv);
  	}
docs: ////////////////////////////////////////////////////