openide/java/java-tests/testData/codeInsight/completion/normal/SealedClassDifferentPackageInheritor.java

public class Parent permits Ch<caret> {}

class Child1 extends Parent {}