InteractionsDocument which appears to eliminate a deadlock that was
occuring on recalling the previous line from history. This revision
is a quick fix; the problem warrants further study.
The following files were modified
M src/edu/rice/cs/drjava/model/repl/History.java
M src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java