[DrJava] DrJava Development Release 20080717

[Dan S. <dl...@ri...>]

DrJava development release drjava-20080717-r4592 has been posted.   
Release Notes:

Available for download at http://drjava.org. This development release  
includes a complete, transparent workaround for "cannot read zip file  
entry" errors occurring when Windows exe users attempt to compile  
using javac 1.6.0_04+. The workaround removes drjava.exe from the  
class path and replaces it with a temporary junit.jar file.

To help the DrJava development team determine which platforms users  
are currently running on, this release includes a simple system  
configuration survey, which appears on initial startup.

The release also dramatically improves the performance of "Find Next"  
and adds detachable tabs, "auto-refresh" projects, and many new  
features for External Processes. A number of bugs have been fixed,  
including highlighting glitches and Interactions Pane interpreter bugs.

—Dan