From 60e3ab5e5f123c80b27edf08642a24e3c34c1947 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Fri, 13 Oct 2023 14:57:46 +0200
Subject: [PATCH] restrict the disable-java8-doclint profile

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

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