Source code for CrazyJava