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

…o v3.23.0
INRIA · Sep 24, 2020 · cc0a071 · cc0a071
1 parent 34b99e0
commit cc0a071
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -43,7 +43,7 @@
     <dependency>
       <groupId>org.eclipse.jdt</groupId>
       <artifactId>org.eclipse.jdt.core</artifactId>
-      <version>3.20.0</version>
+      <version>3.23.0</version>
       <exclusions>
         <exclusion>
           <groupId>org.eclipse.platform</groupId>