javac fails jacks test case 16.2.8-final-4; the underlying symptom
is reproduced as follows:

class T {
public static void main(final String[] args) {
    switch(args.length) {
            case 0:
                final byte b = 0;
                break;
            case 1:
                byte c = b;
    }
}
}