In the end we chose to take a different source language: Pascal. Pascal has no pointer arithmetic and is still fairly widely used, so a lot of people can compile their programs to Java class files when the compiler is done and this way test the JVM and make their programs portable.
The goal of the project was now to change the ACK Pascal front-end so that instead of generating EM code it generates Java bytecode.