compiler/testData/compileJavaAgainstKotlin/sealed/Derived.kt - third_party/github/JetBrains/kotlin - Git at Google

 package test

 public sealed class Season {
     class Warm: Season()
     class Cold: Season()
 }
	package test

	public sealed class Season {
	class Warm: Season()
	class Cold: Season()
	}