From 65e639d82cad075d37b7a64acee7b30d8fdd651a Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Mon, 28 Oct 2024 15:10:12 +0100
Subject: [PATCH] bumped versions of maven plugin and rascal

---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index bb75343..77c72a0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -11,7 +11,7 @@
         <project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding>
         <maven.compiler.release>11</maven.compiler.release>
 
-        <rascal-maven.version>0.28.2-BOOT1</rascal-maven.version>
+        <rascal-maven.version>0.28.7</rascal-maven.version>
     </properties>
 
     <scm>
@@ -160,7 +160,7 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>rascal</artifactId>
-            <version>0.40.8</version>
+            <version>0.40.13</version>
         </dependency>
         <dependency>
             <groupId>org.seleniumhq.selenium</groupId>