// "Override method 'm'" "true"
interface A {
  default void m(){}
}

interface B extends A {
    @Override
    default void m() {

    }
}
@@ -124,16 +124,24 @@
 d m() %7B%0A
+        
 %0A    %7D%0A%7D

fix testdata