tance 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 silently continue working using the
superclass implementation.</p>
<p>The editor, or a similar tool aimed at the programmer, may report if no
declaration of an annotated member is inherited by t