[DrJava] Updated DrJava Beta Release

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

  The TeachJava 2003 workshop is currently underway at Rice University
(http://teachjava.org), and we are actively receiving and responding to
feedback from the workshop participants to improve DrJava.  As a result,
an updated beta release of DrJava, drjava-beta-20030710, is now available
from http://drjava.org.  This release includes many bug fixes and
usability improvements, including type checking bugs in the Interactions
Pane and several enhancements to the debugger.

  We will continue to receive feedback in TeachJava through the end of the
week, with the goal of producing a high quality stable release next week.
Please be sure to download and test this updated beta in your environment
to ensure that no new problems have been introduced.  Thanks for your help
with DrJava!

Charlie Reis