On Jul 13, 2007, at 12:09, Vincent Hennebert wrote:
Nothing related with (and against) the original change, but I take
one as an opportunity to launch the discussion. I've been having
my head for a while.
Yes, I seem to remember the point being raised earlier... and to be
honest, I don't really see the use either. It's just (very
understandable ;)) laziness, I guess: add one * to Eclipse's default
comment when adding an override, and you get precisely that pseudo-