DrJava Legacy SVN Repository

(e.g.: cat somefile|grep sometext) and executing multiple
commands in sequence using ; (e.g. rm -rf classes; mkdir classes).
Fixed a bug in "Find All" that let a region in a renamed
document appear twice, once with the new document name and
once with the old.
Removed Comparable interface from DrJavaProperty classes.

A src/edu/rice/cs/drjava/model/HighlightedRegion.java
A src/edu/rice/cs/drjava/model/IHighlighted.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/config/DrJavaProperty.java
M src/edu/rice/cs/drjava/config/BinaryOpProperty.java
M src/edu/rice/cs/drjava/config/DrJavaPropertySetup.java
M src/edu/rice/cs/drjava/ui/ExternalProcessPanel.java
M src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java
M src/edu/rice/cs/util/StreamRedirectThread.java
D src/edu/rice/cs/util/swing/HighlightedRegion.java
D src/edu/rice/cs/util/swing/IHighlighted.java
A src/edu/rice/cs/util/ProcessChain.java
M src/edu/rice/cs/util/StringOps.java
A src/edu/rice/cs/util/GeneralProcessCreator.java
A src/edu/rice/cs/util/StreamRedirectException.java
A src/edu/rice/cs/util/ProcessSequence.java
M src/edu/rice/cs/util/ProcessCreator.java