Selena: Methods implementing an Interface marked as requiring @Override Permanently deleted user Created January 22, 2007 03:54 I do not believe it should be the case
It should be for Java 6, but not for Java 5.
There is already a JIRA request open for this. I shall try to fix it soon.
Bas