drjava-20030627-1927 released

This development release of DrJava includes significant improvements to Javadoc, including the ability to set custom parameters in the Preferences window. Other improvements include tool tips for each option in the Preferences and the ability to enter generic types in the Interactions Pane. Please test this release by downloading it from the "more download options" link on our home page.