DrJava Legacy SVN Repository

and its implementation. Previously, the getDocuments() and
getDocumentsInBin() methods returned Enumerations which appeared to be
backed by the document list maintained in the navigator. The revised
operations return ArrayList copies of relevant lists of documents.

This revision also includes some additional conversions of Vectors to
ArrayLists.

The following files were modified:

M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/util/docnavigation/JListNavigator.java
M src/edu/rice/cs/util/docnavigation/AWTContainerNavigatorFactory.java
M src/edu/rice/cs/util/docnavigation/IDocList.java
M src/edu/rice/cs/util/docnavigation/IDocumentNavigator.java
M src/edu/rice/cs/util/docnavigation/JListSortNavigatorTest.java
M src/edu/rice/cs/util/docnavigation/JTreeSortNavigator.java
M src/edu/rice/cs/util/docnavigation/JTreeSortNavigatorTest.java