...
- Download the zip file containing the HJ package
- Lets call the zip file ’hj-version.zip’.
- Unzip the file
unzip hj-version.zip - This will create a folder, namely 'hj-version'
...
- Download the jar file corresponding to DrJava-HJ
- Lets call the jar file ’drjava-hj-version.jar’.
...