From 7db55f6d04d2c0e20227507b70143ad75463cd4d Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Fri, 13 Oct 2023 16:59:52 +0200
Subject: [PATCH] enable disable-java8-doclint profile also for jdk17

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

diff --git a/pom.xml b/pom.xml
index 93cc6be..c57364d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -72,7 +72,7 @@
         <profile>
             <id>disable-java8-doclint</id>
             <activation>
-                <jdk>[1.8,17)</jdk>
+                <jdk>[1.8,)</jdk>
             </activation>
             <properties>
                 <javadoc.opts>-Xdoclint:none</javadoc.opts>