From 074e284ea4e5f2f9b18bbd9e9afc40e2558123c1 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Wed, 10 Dec 2014 12:55:17 +0100
Subject: [PATCH] add missing jars to coverage agent library

---
 .idea/libraries/coverage_plugin.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.idea/libraries/coverage_plugin.xml b/.idea/libraries/coverage_plugin.xml
index 91df8c11739..74e93a4aa51 100644
--- a/.idea/libraries/coverage_plugin.xml
+++ b/.idea/libraries/coverage_plugin.xml
@@ -2,6 +2,8 @@
   <library name="coverage-plugin">
     <CLASSES>
       <root url="jar://$PROJECT_DIR$/ideaSDK/plugins/coverage/lib/coverage.jar!/" />
+      <root url="jar://$PROJECT_DIR$/ideaSDK/plugins/coverage/lib/jacocoant.jar!/" />
+      <root url="jar://$PROJECT_DIR$/ideaSDK/plugins/coverage/lib/coverage-agent.jar!/" />
     </CLASSES>
     <JAVADOC />
     <SOURCES>