Source code for muJava