We've just put up a development release of DrJava, which includes
significantly improved Javadoc features (such as the ability to specify
custom parameters in the Preferences window), re-enabled support for
generic types in the Interactions Pane, and tool tips for each option in
the Preferences.
This will likely be the last development release before the upcoming
beta release, so please download it and give it a try in your
environment, letting us know if you encounter any bugs. You can
download it from the "more download options" link at:
http://drjava.org
Charlie
|
