Snapshot idea/138.1029 from git://git.jetbrains.org/idea/community.git

Update from idea/138.538 to idea/138.1029

Change-Id: I828f829a968439a99ec67640990c18ff7c9b58ce

python/build/python_plugin_build.gant

diff --git a/python/build/python_plugin_build.gant b/python/build/python_plugin_build.gant
index dc37d14..702ab30 100644
--- a/python/build/python_plugin_build.gant
+++ b/python/build/python_plugin_build.gant
@@ -95,6 +95,7 @@
     dirset(dir: "${pluginHome}") {
       include(name: "resources")
       include(name: "src")
+      include(name: "gen")
       include(name: "pluginSrc")
       include(name: "pydevSrc")
       include(name: "openapi/src")