DrJava Legacy SVN Repository

Update hj runtime entry point and whitespace-separated soot options

HJCompiler commit

Fixing bug 3116238: (int) (true) command pops error
DynamicJava doesn't perform static type checking for primitive casts.

M dynamicjava/src/edu/rice/cs/dynamicjava/symbol/StandardTypeSystem.java
M drjava/lib/dynamicjava-base.jar
M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java

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".