[DrJava] Random GPL'ed sources of inspiration

[Brian S. <bs...@bs...>]

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