drjava-20020709-0226 released

A new development version of DrJava has been released, including a new Preferences window which allows editing configuration options while DrJava is running. Also, configurable key bindings are now supported, line number enumeration is available, a list of most recently used files is displayed, and the interactions history can be saved and loaded.