The DICE/RIoT Emulator package and tests for Java