DrJava Legacy SVN Repository

Merging trunk into branch.

Undoing last commit, using older ConcJUnit again.

M lib/concutest-junit-4.7-withrt-nodep.jar
M lib/buildlib/concutest-junit-4.7-withrt-nodep.jar
M lib/buildlib/concjunitrt.jar

Updated ConcJUnit with stricter thread lifetime checks.

Updated Javadoc URLs to oracle.com.

Disabling DrJava survey, web server end is broken.

Implemented feature request 3081586:
Store Preferences within Projects

There now is an "Advanced" button on the "Project Properties"
dialog that takes the user to a secondary window. In that
window, the user can list (by name, using predictive input)
those preferences that should be saved in the project file.
By default, "Indent Level" and "Language Level" will be saved.

Note that for simplicity, the actual values are still
configured in the "Preferences" window (Edit menu). This
list only names the preferences whose values should be
stored in the project file when the project is saved, and
restored when the project is loaded again.

Better description of file type in "Open Folders".

Merging trunk into branch.

Changed menu item to use capital letters.

Implemented feature: 3082394 "Copy Compiler Errors to Clipboard". Also
save to file, print, print preview for compiler, Javadoc and JUnit
errors.