From f44fb68216f639acf2b305655acd1a8053c80937 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Tue, 1 Mar 2022 11:38:44 +0100
Subject: [PATCH] edit jdk range on jenkins-release profile

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index d47b443..08f157f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -386,7 +386,7 @@
         <profile>
             <id>jenkins-releases</id>
             <activation>
-                <jdk>[1.8,9)</jdk>
+                <jdk>[1.7,17)</jdk>
                 <property>
                     <name>jenkins-releases</name>
                     <value>true</value>