[DrJava] DrJava Development Release

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

  I just put up a development release of DrJava, with fixes for the "load
interactions history" bug and the issue with loading a 1.4 version of
tools.jar in a 1.3 JDK.  We'd like to start moving this line of
development releases towards a stable release (hopefully before the larger
projects in 312 start up), so please download and use drjava-20030219-0515
to make sure it doesn't have any bugs that are not already reported.
Also, please try to address other outstanding bugs as you finish with your
tasks.

  I'll be out of town at SIGCSE until Sunday, so I'll respond to any
issues or questions when I get back.

Thanks!
Charlie