Add @Override annotation where needed.

Starting with Java 6, we can annotate with @Override a class method implementing
a method from an interface.