>>>>> "Mario" == Mario Torre <[EMAIL PROTECTED]> writes:
>> @Override >> public void foo(); Mario> I suggest this one. It seems more clear to me. Me too. Three votes... maybe the motion passes? :) FWIW you won't see too many annotations in the source right now, especially not @Override. I think it would be fine to add them though. Tom
