build.gradle: load only necessary plugins

Author: danielratiu

build.gradle

@@ -324,12 +324,8 @@ ext.allProjectDirectoriesInDependencyOrder = [
         'org.mpsqa.testing',
         'org.mpsqa.unused'
 ].collect { file("code/languages/$it") }
-ext.mpsPluginRoots = new File(mpsHomeDir, "plugins").listFiles(
-                        new FileFilter() {
-                            public boolean accept(File file) {
-                                return file.isDirectory();
-                            }
-                        })
+ext.mpsPluginRoots = ['mps-build', 'mps-console', 'mps-trove', 'mps-modelchecker', 'mps-tooltips']
+        .collect { new File(mpsHomeDir, "plugins/$it") }
 ext.jbrJavaLauncher = tasks.named('downloadJbr', DownloadJbrForPlatform).flatMap { it.javaLauncher }
 
 tasks.register('migrate', MpsMigrate) {