From a1609d87d28752163b85b8486260ef541cdd0355 Mon Sep 17 00:00:00 2001
From: Tobias Knerr <osm@tobias-knerr.de>
Date: Wed, 4 Dec 2024 11:20:40 +0100
Subject: [PATCH] Use a version of maven-javadoc-plugin suitable for older mvn

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

diff --git a/pom.xml b/pom.xml
index 933f0f1ee..d980ba676 100644
--- a/pom.xml
+++ b/pom.xml
@@ -332,7 +332,7 @@
 			<plugin>  <!-- Create javadoc.jar -->
 				<groupId>org.apache.maven.plugins</groupId>
 				<artifactId>maven-javadoc-plugin</artifactId>
-				<version>3.10.1</version>
+				<version>3.6.3</version>
 				<configuration>
 					<doclint>all,-missing</doclint>
 				</configuration>