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