java/java-tests/testData/inspection/canBeFinal/SCR7737/ext_src/B.java

// B.java
class B extends A {
    public final void run() {
    }
}