DrJava Legacy SVN Repository

Fixed a bug in TextUtil.javaEscape that produced strings that could be incorrectly unescaped in certain contexts; made certain methods in TextUtil static that had accidentally been declared as non-static.

Changed makeFromRuntime to check if compiler can be loaded; now works with Java 1.6 on class path

Added PLT LICENSE file and header to all PLT Utilities sources.

Added escaping and unescaping methods to TextUtil (this has been sitting in my local copy for a long time, but was never committed).

Created tag drjava-beta-20070524-1944

Reactivated use of rmic, but only in compile-14; cleaned up additional rmic stuff.

This commit is a minor revision that (i) comments out theh remaining references in the code to _listOfPrompt in InteractionsPane.java; and (ii) makes the activeDocumentRefreshed listener in MainFrame.java more like the activeDocumentChanged listener. The latter was done for fear that the inconsisent DefinitionsPane bug might reappear.
The following files were modified:

M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/InteractionsPane.java
M src/edu/rice/cs/drjava/ui/InteractionsController.java

Added another getParentFile()!=null check for bug [ 1708719 ]

Added test for getParentFile()==null in FileOps.

This commit cleans up some initialization issues (bugs) with the
tabbed pane, most (all?) of which were introduced in the last commit .
The following files were modified:

M src/edu/rice/cs/drjava/DrJavaRoot.java
M src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/TabbedPanel.java
M src/edu/rice/cs/drjava/ui/AbstractConsoleController.java