public class SwitchCompileError {
	public static void main(String[] args) {
		int x = 1;
		switch (x) {
			case 0x7fffffff:
				// do something;
				break;
		}
	}
}