build(deps): update dependency org.eclipse.jdt:org.eclipse.jdt.core t…

…o v3.40.0
INRIA · Dec 11, 2024 · da0c07b · da0c07b
1 parent f57bf23
commit da0c07b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -34,7 +34,7 @@
     <dependency>
       <groupId>org.eclipse.jdt</groupId>
       <artifactId>org.eclipse.jdt.core</artifactId>
-      <version>3.39.0</version>
+      <version>3.40.0</version>
       <exclusions>
         <exclusion>
           <groupId>org.eclipse.platform</groupId>