From a29a15607a73f06f979f0c1a2f8511da489c224b Mon Sep 17 00:00:00 2001
From: Eugene Zhuravlev <jeka@intellij.com>
Date: Thu, 18 Jan 2018 14:21:38 +0100
Subject: [PATCH] update eclipse compiler library definitions

---
 .idea/libraries/Eclipse.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.idea/libraries/Eclipse.xml b/.idea/libraries/Eclipse.xml
index d6f992c0b8eb..7fdfcc9b405b 100644
--- a/.idea/libraries/Eclipse.xml
+++ b/.idea/libraries/Eclipse.xml
@@ -1,7 +1,7 @@
 <component name="libraryTable">
   <library name="Eclipse">
     <CLASSES>
-      <root url="jar://$PROJECT_DIR$/lib/ecj-4.6.2.jar!/" />
+      <root url="jar://$PROJECT_DIR$/lib/ecj-4.7.2.jar!/" />
     </CLASSES>
     <JAVADOC />
     <SOURCES />