From 97a768048a22124c1b930eed48699c25fcb209fc Mon Sep 17 00:00:00 2001
From: "Gregory.Shrago" <gregory.shrago@jetbrains.com>
Date: Tue, 23 Sep 2014 16:37:13 +0400
Subject: [PATCH] make remote-servers-git module optional (depends on
 java-impl)

---
 build/scripts/layouts.gant | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/scripts/layouts.gant b/build/scripts/layouts.gant
index d9f32faec925..6842e6379d6d 100644
--- a/build/scripts/layouts.gant
+++ b/build/scripts/layouts.gant
@@ -365,7 +365,7 @@ public def layoutCommunityPlugins(String home) {
         module("git4idea-rt")
       }
       jar("remote-servers-git.jar") {
-        module("remote-servers-git")
+        moduleOptional("remote-servers-git")
       }
       fileset(dir: "$home/plugins/git4idea/lib") {
         include(name: "trilead-ssh2.jar")