definite assignment versus switch

The following bug was detected by jacks test 16.2.8-final-1:

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