From 422b78ce937840ca43f2c96f3976d59e568ece0e Mon Sep 17 00:00:00 2001
From: "roberto.cirillo" <roberto.cirillo@isti.cnr.it>
Date: Wed, 21 Sep 2022 12:19:06 +0200
Subject: [PATCH] add toolchain plugin to the pom

---
 pom.xml | 22 +++++++++++++++++++++-
 1 file changed, 21 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 0775e62..41ae499 100644
--- a/pom.xml
+++ b/pom.xml
@@ -314,6 +314,26 @@
 					<target>${maven.compiler.target}</target>
 				</configuration>
 			</plugin>
+  			<plugin>
+			    <groupId>org.apache.maven.plugins</groupId>
+			    <artifactId>maven-toolchains-plugin</artifactId>
+			    <version>1.1</version>
+			    <executions>
+ 			     <execution>
+			        <goals>
+			          <goal>toolchain</goal>
+				</goals>
+			     </execution>
+			    </executions>
+			    <configuration>
+			      <toolchains>
+			        <jdk>
+			          <version>1.8</version>
+			          <vendor>openjdk</vendor>
+			        </jdk>
+			      </toolchains>
+			    </configuration>
+			</plugin>	
 			<!-- SA Plugin -->
 			<plugin>
 				<groupId>org.apache.maven.plugins</groupId>
@@ -363,4 +383,4 @@
 		</plugins>
 	</build>
 
-</project>
\ No newline at end of file
+</project>