"Overriden methods" rule ignores implementations of interface methods during the
search and so it doesn't add @Override annotation to these methods. On the other
hand, when editing class implementing an interface, editor suggests to add
@Override annotation to methods implementing methods from interface so I suppose
the "Overriden methods" rule should add @Override annotation also to these
methods implementing methods from interfaces.
The Java 6 spec was updated to state that the Override annotation applies to
supertypes rather than just superclasses. Thanks for catching this.