This rule detects methods, defined in one of its supertypes, which have the same name and parameter types. If this method has no Override annotation, a warning is prompted.