From 053b51e96b6e81736df7f9408e0bef1b312ffd36 Mon Sep 17 00:00:00 2001
From: games647 <games647@users.noreply.github.com>
Date: Mon, 17 Jul 2023 16:17:57 +0200
Subject: [PATCH] Relax java build version requirement

GitHub action seems to always download Java 19 even though it is
already downloaded and installed. This could also help with running
the CodeQL action.
---
 .java-version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.java-version b/.java-version
index d6b24041..98d9bcb7 100644
--- a/.java-version
+++ b/.java-version
@@ -1 +1 @@
-19
+17