all" tabs are never deleted from _findResults. It also slightly
cleans up synchronization and renames some fields to eliminate
incidental duplication of important field names across classes.
The following files were modified:
M src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModelTest.java
M src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/SingleDisplayModel.java
M src/edu/rice/cs/drjava/model/FileGroupingState.java
M src/edu/rice/cs/drjava/project/ProjectProfile.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/TabbedPanel.java
M src/edu/rice/cs/drjava/ui/MainFrameTest.java
M src/edu/rice/cs/drjava/ui/CommonCloseButton.java
M src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java