[DrJava] Release addendum

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

My apologies for the extra e-mail, but I forgot to mention a couple of
important points.

First of all, this development release requires Java SDK 1.4 or above.
This change was necessary because attempting to compile the new language
level code with our modified version of the JSR-14v2.5 jar (which would
make it compatible with 1.3) would cause a strange Hotspot error at
compile-time that we did not know how to get around.  We are interested in
hearing your feedback about this change, especially if you are a user that
is using 1.3 and cannot upgrade.

Second, developers will have to run "cvs update" in the lib directory to
get the new javalanglevels.jar.  The code itself is located in the
CVS repository of the SourceForge site called javalanglevels.

James