Make the test case actually MiniJava :)