Updated DrJava Plug-in for Eclipse Released

An updated release for the DrJava Plug-in for Eclipse is now available. This plug-in provides an Interactions Pane and a simplified user interface to Eclipse through a "DrJava Perspective." The main change is adding a Preferences page that allows users to configure options including prompting upon interactions reset and allowing access to private members. Users can now also change the font in the Interactions Pane. For more information, see our Eclipse Plug-in page (http://drjava.sf.net/eclipse.shtml).