DrJava Legacy SVN Repository

"find" and "project.class.files" properties for External Processes
implemented.

Fixed Javadoc errors in drjava module.

Created tag drjava-20080415-1537-r4441

Reverted Mac release packaging to use tar/gzip rather than zip. It's less convenient, but zip permissions don't seem to be supported in 10.4 and previous. Misc cleanup of build.xml (renamed "local-release", etc., to "release-local"; "skip-clean", "skip-tag", and "skip-test" now all work the same; ...)

Made sure all dialogs stay in front of the MainFrame.

Added autorefresh methods, and support for blacklisting files from a project. Does not autorefresh the project yet

Added an automatic "Check for New Version of DrJava"
dialog. By default, it runs every 7 days on start-up
and checks if there is a newer stable or beta release.
If there is, then a dialog is displayed with a "Download"
button that takes the user to SourceForge.
The settings can also be changed so that it checks for
a) stable releases only, b) stable+beta, c) stable+beta+
dev releases, or d) that it doesn't check automatically.
The number of days between automatic checks can also
be changed (all in the Miscellaneous pane of the
Preferences).
The dialog can be manually invoked by using a menu
item in the Help menu.

Created tag drjava-20080411-1951-r4436

Updated platform.jar

Fixed typo in Javac160Compiler