Integrate Conductor into java-slang#95

kjw142857 wants to merge 2 commits into

mainsource-academy/java-slang:mainfrom

conductorsource-academy/java-slang:conductorCopy head branch name to clipboard