[DrJava] DrJava Release, Developer Documentation

[Charles R. <cr...@ri...>]

  drjava-stable-20030113 has just been released, which includes a new
application icon and splash screen based on artwork by Thomas Cowdery
(Cow...@di...).

  I've also posted new documentation for developers, which currently
shows how to set up a build environment.  I'm hoping to add information
about the design philosophies and coding conventions in the near future.

Charlie