compiler/testData/cli/jvm/javaSealedClass/SubSealedBJava.java

public non-sealed class SubSealedBJava extends SealedJava {}