public function withSharedProtectedHeader($key, $value) { $jwe = clone $this; $jwe->shared_protected_headers[$key] = $value; return $jwe; }