From 7a3a00caa7cc2df8da411235c687eab88b5e0740 Mon Sep 17 00:00:00 2001
From: Sergey Simonchik <sergey.simonchik@jetbrains.com>
Date: Wed, 10 Feb 2016 15:43:49 +0300
Subject: [PATCH] make plugin verifier happy as it is not aware of
 "com.intellij.modules.coverage" dependency when checking plugins against IDEA
 UI build

---
 plugins/coverage/src/META-INF/plugin.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/plugins/coverage/src/META-INF/plugin.xml b/plugins/coverage/src/META-INF/plugin.xml
index 3b0b3ac8f3cd..d366b0275441 100644
--- a/plugins/coverage/src/META-INF/plugin.xml
+++ b/plugins/coverage/src/META-INF/plugin.xml
@@ -3,6 +3,8 @@
   <depends optional="true" config-file="testng-integration.xml">TestNG-J</depends>
   <depends optional="true" config-file="junit-integration.xml">JUnit</depends>
   <depends>com.intellij.modules.java</depends>
+  <module value="com.intellij.modules.coverage"/>
+
   <description>
       <![CDATA[
      This plugin supports gathering coverage information and presenting it right in
-- 
2.23.3