Test that lazy resolve is able to do propagation in Kotlin-Java-Kotlin hierarchy

Patch by Evgeny Gerashchenko

idea/testData/codeInsight/overrideImplement/propagationKJK/foo/Bar.java

@@ -0,0 +1,7 @@
+package foo;
+
+public class Bar implements Foo {
+    public Object f() {
+        throw new UnsupportedOperationException();
+    }
+}

idea/testData/codeInsight/overrideImplement/propagationKJK/foo/Foo.kt

@@ -0,0 +1,5 @@
+package foo
+
+public trait Foo {
+    fun f(): Any
+}

idea/testData/codeInsight/overrideImplement/propagationKJK/foo/Impl.kt

@@ -0,0 +1,5 @@
+package foo
+
+class Impl : Bar() {
+    <caret>
+}

idea/testData/codeInsight/overrideImplement/propagationKJK/foo/Impl.kt.after

@@ -0,0 +1,8 @@
+package foo
+
+class Impl : Bar() {
+
+    override fun f(): Any {
+        return super<Bar>.f()
+    }
+}

idea/tests/org/jetbrains/jet/plugin/codeInsight/OverrideImplementTest.java

@@ -1,5 +1,5 @@
 /*
- * Copyright 2010-2013 JetBrains s.r.o.
+ * Copyright 2010-2014 JetBrains s.r.o.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -149,4 +149,8 @@ public final class OverrideImplementTest extends AbstractOverrideImplementTest {
     public void testSameTypeName() {
         doDirectoryTest(new OverrideMethodsHandler());
     }
+
+    public void testPropagationKJK() {
+        doDirectoryTest(new OverrideMethodsHandler());
+    }
 }