From df297f18ef1411eafeb41380a49960b41e475655 Mon Sep 17 00:00:00 2001
From: Ekaterina Tuzova <ekaterina.tuzova@jetbrains.com>
Date: Tue, 27 Mar 2018 00:50:34 +0300
Subject: [PATCH] no additional properties

---
 .../groovy/org/jetbrains/intellij/build/IdeaEduProperties.groovy | 1 +
 1 file changed, 1 insertion(+)

diff --git a/edu/idea/build/groovy/org/jetbrains/intellij/build/IdeaEduProperties.groovy b/edu/idea/build/groovy/org/jetbrains/intellij/build/IdeaEduProperties.groovy
index 7532838c7c70..137501f3f06a 100644
--- a/edu/idea/build/groovy/org/jetbrains/intellij/build/IdeaEduProperties.groovy
+++ b/edu/idea/build/groovy/org/jetbrains/intellij/build/IdeaEduProperties.groovy
@@ -24,6 +24,7 @@ class IdeaEduProperties extends IdeaCommunityProperties {
   IdeaEduProperties(String home) {
     super(home)
     dependenciesPath = "$home/edu/dependencies"
+    additionalIDEPropertiesFilePaths = []
   }
 
   @Override