(WIP) upgrade buildnumber-maven-plugin to 3.1.0

org.jacoco.build/pom.xml

@@ -443,7 +443,7 @@
         <plugin>
           <groupId>org.codehaus.mojo</groupId>
           <artifactId>buildnumber-maven-plugin</artifactId>
-          <version>1.2</version>
+          <version>3.1.0</version>
         </plugin>
         <plugin>
           <groupId>org.codehaus.mojo</groupId>
@@ -534,7 +534,7 @@
                 </requireJavaVersion>
                 <requireMavenVersion>
                   <!-- Maven 3.8.2 contains bug - see https://github.com/jacoco/jacoco/issues/1218 -->
-                  <version>[3.3.9,3.8.2),(3.8.2,)</version>
+                  <version>[3.5.4,3.8.2),(3.8.2,)</version>
                 </requireMavenVersion>
                 <requireNoRepositories>
                   <message>The rules for repo1.maven.org are that pom.xml files should not include repository definitions.</message>

org.jacoco.doc/docroot/doc/build.html

@@ -24,7 +24,7 @@ <h1>Build</h1>
   The JaCoCo build is based on <a href="http://maven.apache.org/">Maven</a> and
   can be locally executed on every machine with a proper
   <a href="environment.html">environment setup</a>. In particular you need at
-  least <a href="http://maven.apache.org/">Maven 3.3.9</a> and JDK 11
+  least <a href="http://maven.apache.org/">Maven 3.5.4</a> and JDK 11
   installations. Developers are encouraged to run the build before every commit
   to ensure consistency of the source tree.
 </p>

org.jacoco.doc/docroot/doc/environment.html

@@ -76,7 +76,7 @@ <h3>Build</h3>
 
 <p>
   The JaCoCo build is based on <a href="http://maven.apache.org/">Maven</a>
-  and requires at least Maven 3.3.9 and JDK 11.
+  and requires at least Maven 3.5.4 and JDK 11.
   See the <a href="build.html">build description</a> for details.
 </p>