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

 public abstract sealed class SealedJava permits SubSealedAJava, SubSealedBJava {}