fix(deps): update dependency org.eclipse.jdt:org.eclipse.jdt.core to v3.31.0 (INRIA#4899)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>

Author: renovate[bot]

pom.xml

@@ -48,7 +48,7 @@
     <dependency>
       <groupId>org.eclipse.jdt</groupId>
       <artifactId>org.eclipse.jdt.core</artifactId>
-      <version>3.30.0</version>
+      <version>3.31.0</version>
       <exclusions>
         <exclusion>
           <groupId>org.eclipse.platform</groupId>