Use different file for navigation test because of test framework limitation.

idea/tests/org/jetbrains/jet/plugin/libraries/NavigateToStdlibSourceRegressionTest.java

@@ -43,7 +43,7 @@ public class NavigateToStdlibSourceRegressionTest extends NavigateToLibraryRegre
     }
 
     public void testJavaClass() throws IOException {
-        doNavigationInSourcesTest("libraries/stdlib/src/kotlin/collections/Maps.kt", "Collections", "java.util.Collections");
+        doNavigationInSourcesTest("libraries/stdlib/src/kotlin/collections/Iterators.kt", "Enumeration", "java.util.Enumeration");
     }
 
     public void testKotlinClass() throws IOException {

libraries/stdlib/src/kotlin/collections/Iterators.kt

@@ -1,11 +1,11 @@
 package kotlin
 
-import java.util.*
+import java.util.Enumeration
 
 /**
 Helper to make java.util.Enumeration usable in for
  */
-public fun <T> java.util.Enumeration<T>.iterator(): Iterator<T> = object: Iterator<T> {
+public fun <T> Enumeration<T>.iterator(): Iterator<T> = object: Iterator<T> {
     override fun hasNext(): Boolean = hasMoreElements()
 
     public override fun next(): T = nextElement()