// Uses of $final$

// Java cannot change a final variable:
public class inherit_final {
    public static void main(String[] args) {
	final int x = 1;
	x = 2; // fails
    }
}

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

// Java cannot override a $final$ method:
class C {
    public final void blah() {}
}
class D extends C {
    public void blah() {} // fails
}