From 566040ead84bbdf8e97a382ecb5bbb2afe3bbbec Mon Sep 17 00:00:00 2001
From: Sven Meyer <s.v.meyer@online.de>
Date: Tue, 3 Dec 2024 11:45:07 +0100
Subject: [PATCH 1/3] Add JavaDoc plugin

---
 pom.xml | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

diff --git a/pom.xml b/pom.xml
index f6d8be9..7926863 100644
--- a/pom.xml
+++ b/pom.xml
@@ -63,8 +63,8 @@
         <pluginManagement>
             <plugins>
                 <!-- xtend-maven-plugin is in pluginManagement instead of in plugins 
-					so that it doesn't run before the exec-maven-plugin's *.mwe2 gen; this way 
-					we can list it after. -->
+                    so that it doesn't run before the exec-maven-plugin's *.mwe2 gen; this way 
+                    we can list it after. -->
                 <plugin>
                     <groupId>org.eclipse.xtend</groupId>
                     <artifactId>xtend-maven-plugin</artifactId>
@@ -387,13 +387,27 @@
                     </execution>
                 </executions>
             </plugin>
+            <plugin>
+                <!-- This plugin is required for releases to Maven Central. If Javadoc is used, it has to be correct. -->
+                <groupId>org.apache.maven.plugins</groupId>
+                <artifactId>maven-javadoc-plugin</artifactId>
+                <version>3.11.1</version>
+                <executions>
+                    <execution>
+                        <id>attach-javadoc</id>
+                        <goals>
+                            <goal>jar</goal>
+                        </goals>
+                    </execution>
+                </executions>
+            </plugin>
         </plugins>
     </build>
 
     <profiles>
         <!-- This profile is used to avoid running the deployment in non-deployment
-			contexts because they require specific keys from the Github remote. Include
-			this profile by setting the -Pdeployment flag. -->
+            contexts because they require specific keys from the Github remote. Include
+            this profile by setting the -Pdeployment flag. -->
         <profile>
             <id>deployment</id>
             <build>

From 7bb1d7b14bdc5d6775ae009d6b723d12b22f692d Mon Sep 17 00:00:00 2001
From: Sven Meyer <s.v.meyer@online.de>
Date: Tue, 3 Dec 2024 11:50:39 +0100
Subject: [PATCH 2/3] Diable JavaDoc warnings

---
 pom.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pom.xml b/pom.xml
index 7926863..ca94cd7 100644
--- a/pom.xml
+++ b/pom.xml
@@ -392,6 +392,9 @@
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-javadoc-plugin</artifactId>
                 <version>3.11.1</version>
+                <configuration>
+                    <additionalparam>-Xdoclint:none</additionalparam>
+                </configuration>
                 <executions>
                     <execution>
                         <id>attach-javadoc</id>

From 1894ac92bc31ba841e9aeb5b1ca9df7a51a48566 Mon Sep 17 00:00:00 2001
From: Sven Meyer <s.v.meyer@online.de>
Date: Tue, 3 Dec 2024 11:54:02 +0100
Subject: [PATCH 3/3] Disable JavaDoc errors

---
 pom.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index ca94cd7..c77a6df 100644
--- a/pom.xml
+++ b/pom.xml
@@ -393,7 +393,9 @@
                 <artifactId>maven-javadoc-plugin</artifactId>
                 <version>3.11.1</version>
                 <configuration>
-                    <additionalparam>-Xdoclint:none</additionalparam>
+                    <additionalOptions>
+                        <additionalOption>-Xdoclint:none</additionalOption>
+                    </additionalOptions>
                 </configuration>
                 <executions>
                     <execution>