DrJava Legacy SVN Repository

Fixed the banner displayed in the interactions pane on startup to show
the correct working directory. It previously showed the value of system
property "user.dir".

Added readLock/readUnlock brackets around code that accesses the
ConsoleDocument in the CaretUpdateListener inner class within the
AbstractConsoleController class. This code, which runs in the event
queue, updates the caret position in the console pane based on
information obtained from reading the controller's ConsoleDocument.
These brackets ensure that the information read is internally consistent
and the the console pane updates are consistent with the current state of
the console document.

M src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDocumentTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDJDocumentTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/model/repl/newjvm/InterpreterJVM.java
M src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java
M src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/InteractionsPaneTest.java
M src/edu/rice/cs/drjava/ui/config/IntegerOptionComponent.java
M src/edu/rice/cs/drjava/ui/config/StringOptionComponent.java
M src/edu/rice/cs/drjava/ui/AbstractConsoleController.java