From 2a529cced0bcb43837c3e6a1d6ed5c8e677afb68 Mon Sep 17 00:00:00 2001
From: Giancarlo Panichi <Giancarlo Panichi@dlib32.isti.cnr.it>
Date: Thu, 17 Oct 2019 15:21:08 +0200
Subject: [PATCH] Updated to support Git and Jenkins

---
 .settings/org.eclipse.wst.common.project.facet.core.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.settings/org.eclipse.wst.common.project.facet.core.xml b/.settings/org.eclipse.wst.common.project.facet.core.xml
index 3f2dd2b..376d52f 100644
--- a/.settings/org.eclipse.wst.common.project.facet.core.xml
+++ b/.settings/org.eclipse.wst.common.project.facet.core.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <faceted-project>
   <fixed facet="wst.jsdt.web"/>
-  <installed facet="jst.web" version="2.3"/>
+  <installed facet="jst.web" version="3.0"/>
   <installed facet="wst.jsdt.web" version="1.0"/>
   <installed facet="java" version="1.8"/>
 </faceted-project>