Unpacking instructions

1. Create a project in Eclipse.
2. Download the ZIP archive into your newly created Eclipse project directory by right-clicking this link and selecting Save Link As... (or whatever menu item indicates that you want to download the file). Be sure to save the ZIP archive into your Eclipse project directory, eclipse-work/ProjectName.
3. In the terminal, enter the following to unzip the archive:

   unix% cd eclipse-work/ProjectName
   unix% unzip proj3.zip
   

4. In Eclipse, right-click the project folder and select Refresh.