It should be possible to get a warning for overriding methods
without the @Override annotation. For example:

class Super { void foo() {} }
class Sub1 extends Super { void foo() {} } // warning
class Sub2 extends Super { @Override foo() {} } // no warning