compiler/testData/codegen/boxWithJava/mangling/JavaClass.java - third_party/github/JetBrains/kotlin - Git at Google

 public class JavaClass extends A {
     public String test() {
         return "Java";
     }
 }
	public class JavaClass extends A {
	public String test() {
	return "Java";
	}
	}