New Stable Version Available

The latest stable release includes a number of major improvements to DrJava. Highlights include new document navigation features, improved search for "tools.jar" (the JDK), breakpoints persistent accross sessions, and automatic management of the Interactions pane's working directory.