javadoc for Collection.java