Adapt Java CSE machine

[mattcce]

Description

This change adapts the Java CSEC machine to source-academy/java-slang#79.

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• This change requires a documentation update
• Code quality improvements

How to test

These changes are extremely minimal and exist only to adapt the frontend to a modified backend system. This is tested manually.

1. Pull CSEC: Precompiled classes java-slang#79.
2. Locally link the above (yarn link in java-slang, then yarn link "java-slang" in frontend).
3. Start the frontend.
4. Run the Java CSEC machine.

As it is not the responsibility of the frontend to test changes to the backend, there is no need to test the functionality introduced by source-academy/java-slang#79.

Checklist

• I have tested this code