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

public final class SubSealedAJava extends SealedJava {}