Source code for the MiniJava project