compiler/testData/cli/jvm/javaSealedClass/SubSealedBJava.java - third_party/github/JetBrains/kotlin - Git at Google

 public non-sealed class SubSealedBJava extends SealedJava {}