From a0a4fa0e5673c645ffae3fbc025dd05c2abe957e Mon Sep 17 00:00:00 2001
From: md_5 <git@md-5.net>
Date: Fri, 7 Apr 2023 09:55:01 +1000
Subject: [PATCH] Add profile for Java 20 compilation of bootstrap

---
 bootstrap/pom.xml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/bootstrap/pom.xml b/bootstrap/pom.xml
index 06444181..6a3258f4 100644
--- a/bootstrap/pom.xml
+++ b/bootstrap/pom.xml
@@ -99,5 +99,14 @@
                 <maven.compiler.release>7</maven.compiler.release>
             </properties>
         </profile>
+        <profile>
+            <id>jdk-20-release</id>
+            <activation>
+                <jdk>[20,)</jdk>
+            </activation>
+            <properties>
+                <maven.compiler.release>8</maven.compiler.release>
+            </properties>
+        </profile>
     </profiles>
 </project>