...
After unzipping the laundry.zip
file, you can open the DrJava laundry project by starting DrJava, setting the Language Level
to Full Java
, pulling down the Project
menu and selecting the Open
command. In the file chooser that pops up, select the project profile file laundry.drjava
embedded in the file in the unzipped file tree for laundry.zip
. You can save the project state at any point during a DrJava session using the Save
command in the Project
menu. You can also save individual files within the project using the Save
button on command file or the File
menu.
The Test Project Test
commands runs all of the JUnit test files in the project.
...