If a class that was not declared final is changed to be declared final, then a
VerifyError is thrown if a binary of a pre-existing subclass of this class is
loaded, because final classes can have no subclasses; such a change is not recommended for widely distributed classes.
Changing a class that was declared final to no longer be declared final does not break compatibility with pre-existing binaries.