multiple jdks: test method signatures hierarchy

java/java-tests/testData/codeInsight/multipleJdks/java7/p/NoOverriding.java

@@ -0,0 +1,14 @@
+package p;
+
+abstract class B extends A {
+  public static String getOrDefault(Object key, String defaultValue) {
+    return null;
+  }
+}
+
+abstract class C extends A {
+  <error descr="Method does not override method from its superclass">@Override</error>
+  public String getOrDefault(Object key, String defaultValue) {
+    return null;
+  }
+}

java/java-tests/testData/codeInsight/multipleJdks/java8/p/NoOverriding.java

@@ -0,0 +1,5 @@
+package p;
+import java.util.Map;
+
+public abstract class A implements Map<String, String> {}
+

java/java-tests/testSrc/com/intellij/codeInsight/MultipleJdksHighlightingTest.java

@@ -126,6 +126,11 @@ public class MultipleJdksHighlightingTest extends UsefulTestCase {
     doTestWithoutLibrary();
   }
 
+  @Bombed(day = 20, month = Calendar.FEBRUARY)
+  public void testNoOverriding() throws Exception {
+    doTestWithoutLibrary();
+  }
+
   private void doTestWithoutLibrary() {
     final String name = getTestName(false);
     myFixture.configureByFiles("java7/p/" + name + ".java", "java8/p/" + name + ".java");