From 7fadf40ad899857130bda49542b7cdc9989bb021 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Tue, 19 Mar 2013 13:15:28 +0400
Subject: [PATCH] Restore forceResolve to false to prevent other tests from
 failing

---
 .../jet/plugin/libraries/NavigateToLibrarySourceTest.java   | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/idea/tests/org/jetbrains/jet/plugin/libraries/NavigateToLibrarySourceTest.java b/idea/tests/org/jetbrains/jet/plugin/libraries/NavigateToLibrarySourceTest.java
index f942b1c3b78..8e7c2671a40 100644
--- a/idea/tests/org/jetbrains/jet/plugin/libraries/NavigateToLibrarySourceTest.java
+++ b/idea/tests/org/jetbrains/jet/plugin/libraries/NavigateToLibrarySourceTest.java
@@ -94,6 +94,12 @@ public class NavigateToLibrarySourceTest extends AbstractNavigateToLibraryTest {
         checkAnnotatedLibraryCode(true);
     }
 
+    @Override
+    protected void tearDown() throws Exception {
+        JetSourceNavigationHelper.setForceResolve(false);
+        super.tearDown();
+    }
+
     private void checkAnnotatedLibraryCode(boolean forceResolve) {
         JetSourceNavigationHelper.setForceResolve(forceResolve);
         String actualCode = getActualAnnotatedLibraryCode();