Native methods for CSEC machine#74

mattcce wants to merge 7 commits intomainsource-academy/java-slang:mainfrom

native-methodssource-academy/java-slang:native-methodsCopy head branch name to clipboard