...
- Download the zip file containing the HJ package from https://svn.rice.edu/r/parsoft/projects/COMP322/2011/hj-1.2.0.zip
- Now you have the zip file, say hj-version.zip
- Unzip the file
unzip hj-version.zip - This will create a folder, namely hj-version
- Set the environment variable HJ_HOME to hj-version
cd hj-version
export HJ_HOME=`pwd`
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