是否有任何静态分析工具允许您需要@Override？

Question

很高兴能够判断你是否意外地覆盖了子类中的方法，我知道java没有约束来执行此操作（如果它确实很好），请执行任何操作静态或字节码分析工具允许您在子类中要求onClose注释？

我使用过checkstyle，findbugs和pmd，但我不知道是否有任何人有此设置。注意：我希望该工具能够作为我的自动化测试套件的一部分运行。