Fixed Java5 compilation problem wrt. @Override on interface method implementations.
Authored by: c45207 2007-04-09
Parent: [r4223]
Child: [r4225]
