アノテーションに @Override があるのに @Implements のようなものがないのはなぜ？

Java

http://www.atmarkit.co.jp/bbs/phpBB/viewtopic.php?topic=36667&forum=12&6

@Override はなんのために存在するのか、という疑問が出てきます。

コード: 

class Hoge{
    void test(){
         System.out.println("Hoge");
    }
}

class Piyo extends Hoge{
    @Override void test(){
         System.out.println("Piyo");
    }
}

というクラスがあったとします。
そしてHogeというクラスを以下のように修正したとします。
コード: 

class Hoge{
    void test1(){
         System.out.println("Hoge");
    }
}

この場合、JDK1.4まではHogeは具象クラスなので、
Piyoもコンパイルエラーにはなりません。
しかし、@Overrideによってエラーとすることができます。