From 0cba9d10b7a4987af5654e3e1fa84c7f76745e23 Mon Sep 17 00:00:00 2001
From: Alexander Kriegisch <Alexander@Kriegisch.name>
Date: Thu, 1 Feb 2024 17:16:42 +0700
Subject: [PATCH] Workaround for non-English javadoc generation

On my workstation, more recent JDKs generate partly German javadocs.

Background: Avoid non-English javadoc generation. Due to
https://bugs.openjdk.org/browse/JDK-8222793 reoccurring at least in JDKs
19-21 and also being broken in some older JDKs, we cannot rely on just
setting the locale parameter, but also need the 'user.language' and
'user.country' parameters in 'additionalJOptions' as a workaround.

Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
---
 pom.xml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/pom.xml b/pom.xml
index 34f3ae69b..9ebfb25e9 100644
--- a/pom.xml
+++ b/pom.xml
@@ -436,6 +436,18 @@
 						<use>true</use>
 						<!-- FIXME: Why does it fail without this parameter? -->
 						<javadocVersion>8</javadocVersion>
+						<!--
+							Avoid non-English javadoc generation. Due to https://bugs.openjdk.org/browse/JDK-8222793 reoccurring at
+							least in JDKs 19-21 and also being broken in some older JDKs, we cannot rely on just setting the locale
+							parameter, but also need the 'user.language' and 'user.country' parameters in 'additionalJOptions' as a
+							workaround.
+						-->
+						<locale>en</locale>
+						<additionalJOptions>
+							<additionalJOption>-J-Dfile.encoding=UTF-8</additionalJOption>
+							<additionalJOption>-J-Duser.language=en</additionalJOption>
+							<additionalJOption>-J-Duser.country=US</additionalJOption>
+						</additionalJOptions>
 					</configuration>
 				</plugin>
 				<plugin>
-- 
2.39.5