From b1820ed07db40bd4672051df942a90c72edbebc4 Mon Sep 17 00:00:00 2001
From: Manu Sridharan <msridhar@gmail.com>
Date: Wed, 25 Oct 2023 21:59:17 +0100
Subject: [PATCH] Suggest use of maven-compiler-plugin 3.11.0 (#6263)

---
 docs/examples/MavenExample/pom.xml | 2 +-
 docs/manual/external-tools.tex     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/examples/MavenExample/pom.xml b/docs/examples/MavenExample/pom.xml
index f6bdbdbdde3..df589f40edc 100644
--- a/docs/examples/MavenExample/pom.xml
+++ b/docs/examples/MavenExample/pom.xml
@@ -68,7 +68,7 @@
         <plugins>
           <plugin>
             <artifactId>maven-compiler-plugin</artifactId>
-            <version>3.10.1</version>
+            <version>3.11.0</version>
             <configuration>
               <fork>true</fork> <!-- Must fork or else JVM arguments are ignored. -->
               <annotationProcessorPaths>
diff --git a/docs/manual/external-tools.tex b/docs/manual/external-tools.tex
index 2117afad4aa..b80dc3385d9 100644
--- a/docs/manual/external-tools.tex
+++ b/docs/manual/external-tools.tex
@@ -1032,7 +1032,7 @@
         <plugins>
           <plugin>
             <artifactId>maven-compiler-plugin</artifactId>
-            <version>3.10.1</version>
+            <version>3.11.0</version>
             <configuration>
               <fork>true</fork> <!-- Must fork or else JVM arguments are ignored. -->
               <annotationProcessorPaths>