drjava-20030812-2156 released

This development release of DrJava includes some bug fixes, the added ability to load history files as scripts, the ability to find and replace across all open documents, improvements to the user interface, and some refactoring to the code base. Please download and test this release as we prepare for an upcoming beta release scheduled for the end of this week.