Added a search-and-replace property for text.
M src/edu/rice/cs/drjava/config/FileListProperty.java
M src/edu/rice/cs/drjava/config/FileProperty.java
M src/edu/rice/cs/drjava/config/DrJavaPropertySetup.java
M src/edu/rice/cs/drjava/config/RecursiveFileListProperty.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/util/BalancingStreamTokenizerTest.java