From cff427bd9a447445ae98424ec1648abbfd78e06e Mon Sep 17 00:00:00 2001
From: David Pursehouse <david.pursehouse@gmail.com>
Date: Wed, 25 Dec 2019 11:13:23 +0000
Subject: [PATCH] Upgrade ecj to 3.20.0

Change-Id: Ic72d05567d4c90f3d720a166afe99148fb003592
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 6cb972751..83c81b8ee 100644
--- a/pom.xml
+++ b/pom.xml
@@ -928,7 +928,7 @@
               <dependency>
                 <groupId>org.eclipse.jdt</groupId>
                 <artifactId>ecj</artifactId>
-                <version>3.19.0</version>
+                <version>3.20.0</version>
               </dependency>
             </dependencies>
           </plugin>