From 699b62e1a44ba143b60aa412fd78d7d0219c1da2 Mon Sep 17 00:00:00 2001
From: Luca Frosini <luca.frosini@isti.cnr.it>
Date: Wed, 4 Dec 2019 14:23:46 +0100
Subject: [PATCH] Upgraded tomcat from 7.0.X to 8.5.X

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

diff --git a/pom.xml b/pom.xml
index 79d8d1b..f65db6a 100644
--- a/pom.xml
+++ b/pom.xml
@@ -19,7 +19,7 @@
 		<distroDirectory>distro</distroDirectory>
 		<targetDirectory>target/bundle</targetDirectory>
 		<smartgearsDirectory>SmartGears-Bundle</smartgearsDirectory>
-		<tomcat.version>7.0.96</tomcat.version>
+		<tomcat.version>8.5.47</tomcat.version>
 		<resourcesDirectory>src/resources</resourcesDirectory>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 	</properties>