openide/java/java-tests/testData/codeInsight/daemonCodeAnalyzer/quickFix/unimplement/beforeSealedParentNonSealedChild.java

// "Unimplement Class" "true"
sealed class A permits B {}

non-sealed class B extends <caret>A {}