全てのメソッドに関してOverrideアノテーションを付けるべきかどうかをリストアップすることにしました．Mirror APIを使用しました．JDK 5.0で動きます．Pluggable Annotation Processing APIでローカルクラス，匿名クラスに対応するjavax.lang.model.elemen…