// INHERIT16

// cannnot extend a $final$ class:
final class A {}
// class B extends A {}

// cannot override a $final$ method and
// cannot change a $final$ variable:
class C {
    public final int x=1;
    //    public final void blah() { x=2; }
}
class D extends C {
    //    public void blah() { }
}