From bf26aca0adfee2957d752f74aa26c53a523d3954 Mon Sep 17 00:00:00 2001
From: Johannes Link <business@johanneslink.net>
Date: Fri, 21 Jun 2024 08:41:24 +0200
Subject: [PATCH] Added explicit java compilation target for Kotlin build

---
 kotlin/build.gradle | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/kotlin/build.gradle b/kotlin/build.gradle
index 1b849e9f8..e88b98d2c 100644
--- a/kotlin/build.gradle
+++ b/kotlin/build.gradle
@@ -79,7 +79,8 @@ tasks.withType(KotlinCompile).configureEach {
 	compilerOptions {
 		freeCompilerArgs = [
 			"-Xnullability-annotations=@org.jspecify.annotations:strict",
-			"-Xemit-jvm-type-annotations" // Required for annotations on type variables
+			"-Xemit-jvm-type-annotations", // Required for annotations on type variables
+			"-Xjdk-release=${javaTargetVersion}" // See https://github.com/jqwik-team/jqwik/issues/546#issuecomment-2180009926
 		]
 		apiVersion = KotlinVersion.KOTLIN_1_9
 		languageVersion = KotlinVersion.KOTLIN_1_9