Documenting ArrayList.java