JavaPatternMatching/resources/bytecode/javFiles/Annotation.jav

class Base {
    public void foo() {}
}

public class Annotation extends Base {
    @Override
    public void foo() {}
}