drjava-20020724-0518 released

This new development version of DrJava includes a completely redesigned debugger. If you put Sun's tools.jar on your classpath, you can now set breakpoints in methods called from the Interactions Pane. This early release is intended for testing-- more debugging features will be added in the near future.