[Drjava-users] drjava-eclipse-0.9.5 released

[Neal H. <nr...@ri...>]

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."  In addition to fixing a
critical error on the Macintosh JVM, the new plug-in includes full support
for the language extensions in Java 1.5, including generics, varargs, and
auto-boxing.  For more information, see our Eclipse plug-in page
(http://drjava.sf.net/eclipse.shtml).

Neal