MiniJava-fication.