[DrJava] DrJava Stable Release

[Charles R. <cr...@ri...>]

   The second stable release of DrJava, drjava-stable-20020814, is now 
available!  This release includes a significant number of bug fixes 
since the beta release on August 4th, including many which were 
discovered during the TeachJava workshop.  See the release notes on 
Sourceforge (by clicking on "drjava-stable-20020814" on the Files page) 
to see a full list of the changes.

Charlie