From cc0a0712b327473df6f4ff5aa37ae13987c9dc6a Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <renovate[bot]@users.noreply.github.com>
Date: Thu, 24 Sep 2020 07:47:52 +0000
Subject: [PATCH] chore(deps): update dependency
 org.eclipse.jdt:org.eclipse.jdt.core to v3.23.0

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 0d22e13fc2b..7a50ca8ec53 100644
--- 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>