/tests/bugs1920/github_190/
../
SwitchCaseWith_Integer_MAX_VALUE.java