Mathias Ricken - 2011-09-22

Our developer docs are available here:
http://drjava.org/index.php?page=/docs/developer/

We edit DrJava inside DrJava and build from the command line using Ant.