If you create a base test class and annotate methods with @Test, then inherit it in some other classes and override methods without adding @Test Junit 4 will be able to pickup them and run as tests. Unfortunately Clover will not know that these are tests automatically unless you add @Test to them. I understand that annotations are not inherited in Java and Junit 4 does "some magic" (didn't have time to check exactly what it does) to find them.

Decide if we want to follow Junit's approach or we stick with Java language specification.