If you need places to look for how or what to put into DrJava, some great
sources are existing GPL'ed Java editors:
j: http://armedbear.org
(The tagline of this web site is: "The right of the people to keep and arm
bears shall not be infringed!")
JEdit: http://jedit.org
Jext: http://jext.org
-brian
|
