The folloing files were modified:
M drjava/src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
M drjava/src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
M drjava/src/edu/rice/cs/drjava/model/FileMovedException.java
M drjava/src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
M drjava/src/edu/rice/cs/drjava/model/JDKDescriptor.java
M drjava/src/edu/rice/cs/drjava/model/Finalizable.java
M drjava/src/edu/rice/cs/drjava/model/TestDocGetter.java
M drjava/src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
M drjava/src/edu/rice/cs/drjava/model/DocumentRegion.java
M drjava/src/edu/rice/cs/drjava/project/ProjectFileParser.java
M drjava/src/edu/rice/cs/drjava/ui/BreakpointsPanel.java
M drjava/src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
M drjava/src/edu/rice/cs/drjava/ui/RegionsListPanel.java
M drjava/src/edu/rice/cs/drjava/ui/FindResultsPanel.java
M drjava/src/edu/rice/cs/drjava/ui/FindReplacePanel.java
M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
M drjava/src/edu/rice/cs/drjava/ui/BookmarksPanel.java
M drjava/src/edu/rice/cs/drjava/ui/DefinitionsPane.java