From aefa2505ac4a80b444049cb85e0ef82fb5e8fafd Mon Sep 17 00:00:00 2001
From: Ole Wieners <olewieners@yahoo.com>
Date: Tue, 4 Feb 2025 15:26:19 +0100
Subject: [PATCH] Change dev jwt key

The old key wasn't working with Java 17 anymore
(ref https://github.com/opencast/opencast/issues/6092).
It's only used for local development, so it's fine to
use a public key here that has already been reported to work.
---
 util/dev-config/jwt-key.pem | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/util/dev-config/jwt-key.pem b/util/dev-config/jwt-key.pem
index f87958d10..9325e4727 100644
--- a/util/dev-config/jwt-key.pem
+++ b/util/dev-config/jwt-key.pem
@@ -1,5 +1,5 @@
 -----BEGIN PRIVATE KEY-----
-MIGHAgEAMBMGByqGSM49AgEGCCqGSM49AwEHBG0wawIBAQQgZ7CNR63yKUIqOrTM
-DUABsgDGN/aGGdsaLV93X+DAqMihRANCAAQmGfYZeS+MNwjkRvC0yJupqwTmVd1W
-HkXMjyS6yMOWMdV6g+WrM88L09Wj29JhNEyLqMN4RmROmsLNj6HFUgJt
+MIGHAgEAMBMGByqGSM49AgEGCCqGSM49AwEHBG0wawIBAQQg66Zp9DgrYgT6H/dJ
+p3zkos361IC2DJchnd0ArvCFofihRANCAARdWx7zObah63pPdt6WJPy+A9rIjriA
+ImQQfWCJRa37KyytlaSAmpUPLEUeW31fDiwD66yphyCeNHgeFfPD/tw6
 -----END PRIVATE KEY-----