DrJava Legacy SVN Repository

of drawUnslectedText in the ColoringView class extending PlainView.
It is not clear that the swing library code always calls this method
with the read lock already held. The overridden method does not require
this locking because it only makes a single class to getText(...) to access
the document and this method performs read locking.

The following files were modified.

M src/edu/rice/cs/drjava/model/definitions/ColoringView.java
M src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java

The other two files were only revised cosmetically (formatting not code).