From 23340b502901577af44a39cd67c92f6fae5d1291 Mon Sep 17 00:00:00 2001
From: "dependabot-preview[bot]"
 <27856297+dependabot-preview[bot]@users.noreply.github.com>
Date: Mon, 22 Jun 2020 15:54:22 +0000
Subject: [PATCH] Bump javax.servlet-api from 3.1.0 to 4.0.1

Bumps [javax.servlet-api](https://github.com/javaee/servlet-spec) from 3.1.0 to 4.0.1.
- [Release notes](https://github.com/javaee/servlet-spec/releases)
- [Commits](https://github.com/javaee/servlet-spec/compare/3.1.0...4.0.1)

Signed-off-by: dependabot[bot] <support@dependabot.com>
---
 pom.xml                 | 2 +-
 vaadin8/samples/pom.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index c7b893d2d..b86807a80 100644
--- a/pom.xml
+++ b/pom.xml
@@ -477,7 +477,7 @@
             <dependency>
                 <groupId>javax.servlet</groupId>
                 <artifactId>javax.servlet-api</artifactId>
-                <version>3.1.0</version>
+                <version>4.0.1</version>
                 <!-- do not update as long as we need to be compatible to 3.1 -->
                 <scope>provided</scope>
             </dependency>
diff --git a/vaadin8/samples/pom.xml b/vaadin8/samples/pom.xml
index a723a83a3..c558f558f 100644
--- a/vaadin8/samples/pom.xml
+++ b/vaadin8/samples/pom.xml
@@ -47,7 +47,7 @@
             <dependency>
                 <groupId>javax.servlet</groupId>
                 <artifactId>javax.servlet-api</artifactId>
-                <version>3.1.0</version>
+                <version>4.0.1</version>
                 <scope>provided</scope>
             </dependency>