JDK 7eab112以降でローカルクラス，匿名クラスのメソッドに対応するjavax.lang.model.element.Elementオブジェクトを取得できるようになったので，Overrideアノテーションを付けるべきメソッドをリストアップするプロセッサを書けました． http://bugs.sun.c…