Fixed history navigation deadlock (bug# 1665604). A write-lock was trying to be acquired after a read-lock had already been acquired.
Modified files: M src/edu/rice/cs/drjava/ui/InteractionsController.java
Authored by: c45207 2007-03-02
Parent: [r4199]
Child: [r4201]
