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