Fix switch statement issue#97

martin-henz merged 2 commits into

mainsource-academy/java-slang:mainfrom

switchsource-academy/java-slang:switchCopy head branch name to clipboard