A very good idea to use \@Override everywhere, particularly if we might be going to rename the method!