[DrJava] Eclipse Plug-In 0.9.3 Release

[James I-C. H. <jh...@ow...>]

A new version of the DrJava Plug-In for Eclipse has been released!  This
version increases usability by adding a new DrJava Preference page which
allows users to set various options including whether to prompt upon
interactions reset and allow accessibility to private members in the
Interactions Pane.  This update also allows users to change the font in
the Interactions Pane which will be very useful in classroom settings.

You can go to http://drjava.sf.net/eclipse.shtml to download the new
plug-in.  Please send us any comments you have!

James