compiler/testData/compileJavaAgainstKotlin/sealed/Derived.java

package test;

// It's not possible to inherit from Season (it's sealed in Kotlin)
public class Derived extends Season {

}