A JAR file is a way of storing many (pre-compiled) Java classes. Below are instructions for adding and removing jar files from DrJava's resource locations. For more information on JAR files, see our JARs page and Using JAR Files: The Basics on Sun's site.
How to add a JAR
- When you download the jar, keep track of where you save it to
- Open DrJava
- Edit > Preferences
- Resource Locations (at left)
- In Extra Classpath, Add (browse and chose the new jar)
- Apply
- Okay
- Quit DrJava and re-open it in order for the change to take effect
How to remove a JAR
- Open DrJava
- Edit > Preferences
- Resource Locations (at left)
- In Extra Classpath, click on the old jar name
- Remove
- Apply
- Okay