annotation <code>@override</code> marks an instance member as overriding a
superclass member with the same name.</p>
<p>The annotation applies to instance methods, getters and setters, and to
instance fields, where it means that the implicit getter and setter of the
field is marked as overriding, but the field itself is not.</p>
<p>The intent of the <code>@override</code> notation is to catch situations where a
superclass renames a member, and an independent subclass which used to
override the member, could