/tests/bugs1919/github_190/
../
SwitchCaseWith_Integer_MAX_VALUE.java