unrelated defaults: correct type if super classes come from different jdks (both 1.8 but of different versions)

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

@@ -0,0 +1,4 @@
+package p;
+interface I {
+  default void foo();
+}

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

@@ -0,0 +1,3 @@
+package p;
+
+public abstract class A implements I {}