fix(deps): update dependency org.eclipse.jdt:org.eclipse.jdt.core to …

…v3.33.0 (#5166) Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
INRIA · Apr 10, 2023 · f988431 · f988431
1 parent 83945f4
commit f988431
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -48,7 +48,7 @@
     <dependency>
       <groupId>org.eclipse.jdt</groupId>
       <artifactId>org.eclipse.jdt.core</artifactId>
-      <version>3.32.0</version>
+      <version>3.33.0</version>
       <exclusions>
         <exclusion>
           <groupId>org.eclipse.platform</groupId>