From 8e0d3a27d16450eb3b03a13a267699014b1bb731 Mon Sep 17 00:00:00 2001
From: Paola De Bartolo <paola.debartolo@gmail.com>
Date: Wed, 21 Oct 2026 17:35:12 -0300
Subject: [PATCH] ci: add jakarta.servlet-api to v25 profile

Close #25
---
 pom.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pom.xml b/pom.xml
index 33c5d1d..3b6dd2d 100644
--- a/pom.xml
+++ b/pom.xml
@@ -504,6 +504,12 @@
 					<artifactId>vaadin-dev</artifactId>
 					<optional>true</optional>
 				</dependency>
+				<dependency>
+					<groupId>jakarta.servlet</groupId>
+					<artifactId>jakarta.servlet-api</artifactId>
+					<version>6.1.0</version>
+					<scope>test</scope>
+				</dependency>
 			</dependencies>
 		</profile>		
 	</profiles>