public static function createRotatableKeySet($filename, array $parameters, $nb_keys) { return new RotatableJWKSet($filename, $parameters, $nb_keys); }