// This bug was discovered while working on java/1413 (compiling freetds.)
// http://gcc.gnu.org/ml/java-prs/2000-q4/msg00156.html
// The following code should build.

class final_local_switch {
    void foo (int type) {
	final byte CHARSET_CHANGE = (byte)3;
	final byte CHARSET_CHANGES = (byte)4;
	switch (type) {
	case CHARSET_CHANGE:
	    break;
	case CHARSET_CHANGES:
	    break;
	}
    }
}