From 62a440d53fac9cbe045b60b42c8403bf695ed492 Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Thu, 16 Jul 2020 19:48:20 +0200
Subject: [PATCH] Removed versions were overriding a previous definition

---
 .settings/.gitignore | 1 +
 pom.xml              | 2 --
 2 files changed, 1 insertion(+), 2 deletions(-)
 create mode 100644 .settings/.gitignore

diff --git a/.settings/.gitignore b/.settings/.gitignore
new file mode 100644
index 0000000..b012ade
--- /dev/null
+++ b/.settings/.gitignore
@@ -0,0 +1 @@
+/org.eclipse.core.resources.prefs
diff --git a/pom.xml b/pom.xml
index 4ffcfd0..451c0cd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -774,14 +774,12 @@
 			<plugin>
 				<groupId>org.codehaus.mojo</groupId>
 				<artifactId>buildnumber-maven-plugin</artifactId>
-                <version>1.4</version>
             </plugin>
 
 			<!-- enforce integration build requirements -->
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>
 				<artifactId>maven-enforcer-plugin</artifactId>
-				<version>${maven-enforcer-plugin-version}</version>
 				<executions>
 					<execution>
 						<id>enforce-files-exist</id>