nj2k/testData/newJ2k/kotlinApiAccess/InheritedProperty.java - third_party/github/JetBrains/kotlin - Git at Google

 //file
 import kotlinApi.*

 class C extends KotlinClass {
     void foo() {
         System.out.println(getProperty());
         setProperty("a")
     }
 }
	//file
	import kotlinApi.*

	class C extends KotlinClass {
	void foo() {
	System.out.println(getProperty());
	setProperty("a")
	}
	}