hg: lambda/lambda/jdk: address review comments for 8005051 and more postcondition assertions

[akhil.arora at oracle.com]

Changeset: 31fa4e4e6d0e
Author:    akhil
Date:      2013-04-23 11:28 -0700
URL:       http://hg.openjdk.java.net/lambda/lambda/jdk/rev/31fa4e4e6d0e

address review comments for 8005051 and more postcondition assertions

! src/share/classes/java/util/LinkedList.java
! src/share/classes/java/util/Vector.java
! src/share/classes/java/util/concurrent/CopyOnWriteArrayList.java
! test/java/util/Iterator/IteratorDefaults.java