From 32b011f4c16b37cfd06fb79670a8ee82d408e4a5 Mon Sep 17 00:00:00 2001
From: snyk-bot <snyk-bot@snyk.io>
Date: Wed, 22 Jan 2020 01:24:46 +0000
Subject: [PATCH] fix: upgrade com.vaadin:vaadin-client-compiled from
 7.4.0.alpha14 to 7.7.17

Snyk has created this PR to upgrade com.vaadin:vaadin-client-compiled from 7.4.0.alpha14 to 7.7.17.

See this package in NPM:
https://www.npmjs.com/package/com.vaadin:vaadin-client-compiled

See this project in Snyk:
https://app.snyk.io/org/svenruppert-jfrog/project/514c9e49-c93b-4fdb-99bf-966e7696262a?utm_source=github&utm_medium=upgrade-pr
---
 webgui/pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/webgui/pom.xml b/webgui/pom.xml
index 38d8fd5f..8346934d 100644
--- a/webgui/pom.xml
+++ b/webgui/pom.xml
@@ -112,7 +112,7 @@
         <dependency>
             <groupId>com.vaadin</groupId>
             <artifactId>vaadin-client-compiled</artifactId>
-            <version>7.4.0.alpha14</version>
+            <version>7.7.17</version>
         </dependency>
         <!--
           Needed when using the widgetset optimizer (custom ConnectorBundleLoaderFactory).
@@ -249,7 +249,7 @@
                                         </goals>
                                     </pluginExecutionFilter>
                                     <action>
-                                        <ignore></ignore>
+                                        <ignore/>
                                     </action>
                                 </pluginExecution>
                             </pluginExecutions>