From 9dbf771b941a78384fd866e4771785a54166090d Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Mon, 13 Jul 2020 14:08:18 -0400
Subject: [PATCH] Use a unique version of buildnumber plugin.

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

diff --git a/pom.xml b/pom.xml
index 1b4fa6f..6467fc6 100644
--- a/pom.xml
+++ b/pom.xml
@@ -873,7 +873,8 @@
 			<plugin>
 				<groupId>org.codehaus.mojo</groupId>
 				<artifactId>buildnumber-maven-plugin</artifactId>
-			</plugin>
+                <version>1.4</version>
+            </plugin>
 
 			<!-- enforce integration build requirements -->
 			<plugin>