Changes

#739 (May 22, 2024, 6:10:18 PM)

1. Create README.md — GitHub / githubweb

#738 (May 22, 2024, 5:10:19 PM)

1. Add Jenkinsfile for Github builds. — Dennis Wagelaar / githubweb
2. Fix missing '\' — Dennis Wagelaar / githubweb
3. Bug #1: StackOverflowError in ByteCodeSwitch.caseInvokeCbS — Dennis Wagelaar / githubweb