openide/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/extendSealedClass/beforeSubclassWithParentObject.java

// "final" "true"
sealed class Parent permits C<caret>hild {}

class Child extends Object {}