Minor java style change for switch-case labels.