DrJava Legacy SVN Repository

DynamicJava: Updated JLBench to test for floating-point == special cases.

Bug fix in plt.jar.

DynamicJava: JLSTypeSystem improvements -- bug fix for looping recursion on type arguments; additional options for mimicking the behavior of javac. Also improved SourceChecker's ability to compare type systems.

PLT Utilities: Fixed recursive logging bug (don't want to start a new process while trying to start an RMI-based log).

Fixes bugs
2881714: Interactions panel "returns" false for 0.0 == -0.0
2885861: Comparison of NaNs

Attempt to fix a NullPointerException InteractionsPaneTest.testUndoRedoNewLine

Implemented feature request 2898710:
Changing Title for "Tabbed Panes" Window
(and also for "Debugger" Window)

Adds undo/redo functionality to the Interactions Pane; Fixes bug ID:2898576 - Backspace undo/redo issues -- John Cate - 11_25_09

Fixes bug 2902638: Double-Clicking in Mac Finder Not Working
Implements feature request 2200862:
Check if Memory Size is Possible

Mac platform update.