From 5c60266bfa56822e50f52f330b054bb6ef3cc725 Mon Sep 17 00:00:00 2001
From: Daniel Haag <daniel.haag@uibk.ac.at>
Date: Tue, 12 Jul 2016 15:31:14 +0200
Subject: [PATCH] non-jira: set the webXml parameter for the maven war plugin
 to make the eclipse error go away

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

diff --git a/pom.xml b/pom.xml
index ac34677b410..687dda3c126 100644
--- a/pom.xml
+++ b/pom.xml
@@ -500,6 +500,7 @@
 									<filtering>false</filtering>
 								</resource>
 							</webResources>
+							<webXml>src/main/webapp-tomcat/WEB-INF/web.xml</webXml>
 						</configuration>
 					</plugin>
 				</plugins>
-- 
GitLab