Support loading methods from Java as common properties overrides

compiler/testData/diagnostics/tests/j+k/properties/val.kt

@@ -0,0 +1,25 @@
+// FILE: A.java
+
+public class A extends B {
+    public int getFoo() { return 0; }
+}
+
+// FILE: F.java
+
+public class F extends B {
+    public final int getFoo() { return 0; }
+}
+
+// FILE: main.kt
+
+open class B {
+    open val foo: Int = 1
+}
+
+class C1 : A() {
+    override val foo: Int = 2
+}
+
+class C2 : F() {
+    <!OVERRIDING_FINAL_MEMBER!>override<!> val foo: Int = 3
+}