Description:
Checks for the overriding of non-abstract methods by abstract methods in a subclass.
Example:
class Animal { void func () {} } abstract class Elephant extends Animal { abstract void func (); }