[DrJava] DrJava Stable Release 20080828

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

A DrJava stable release has been posted.

Release Notes:

Available for download at http://drjava.org.  This beta release  
incorporates a number of improvements since the last DrJava stable  
release.

Most prominently, a bug in JDK 1.6.0_04+ has rendered previous stable  
versions of "drjava.exe" unusable when compiling with affected JDKs (a  
"Cannot read zip file entry" error will occur).  This release  
addresses the issue.

Major new features include i) an improved Interactions interpreter  
with full support for generics and ii) integrated support for external- 
process-based tools.  Performance of "Find Next" and "Find All" has  
been dramatically improved, as well as the performance of auto- 
indenting.

The project file format has been changed (as of release  
drjava-20080415-1537-r4441).  Previous DrJava version will not  
recognize the new project file format.

Users may also notice i) an optional platform-information survey at  
startup, and ii) automatic background checking for new DrJava  
versions.  (Both of these can be turned off.)

—Dan