Download HabaneroJava (HJ) Package
HJ
1. Download the zip file containing the HJ package from https://svn.rice.edu/r/parsoft/projects/COMP322/2011/hj-1.2.0.zip
DrJava-HJ
1. Download the jar file corresponding to DrJava-HJ from https://svn.rice.edu/r/parsoft/projects/COMP322/2011/drjava-r5422-hj-1.2.0.0.jar