| Final.member marks a member that is not changeable in a subclass. A constructor is always implicitly Final. |
| Final.Class[type] := definitions specifies a class that cannot be a superclass. |
This loads the package.
First, we define a class that contains a final member.
The attempt to redefine the final member is rejected. Override is used to signal a replacement of functionality of a parent class. A whole class may also be sealed. Individual members then need not to be marked Final.
Any trial to subclass this class is rejected. |