--- jsr166/src/jsr166e/extra/ReadMostlyVector.java	2011/12/31 18:48:47	1.20
+++ jsr166/src/jsr166e/extra/ReadMostlyVector.java	2011/12/31 19:26:24	1.21
@@ -49,6 +49,11 @@ public class ReadMostlyVector<E>
      * read-only mode, and then lock. When in read-only mode, they
      * validate only at the end of an array scan unless the element is
      * actually used (for example, as an argument of method equals).
+     *
+     * We rely on some invariants that are always true, even for field
+     * reads in read-only mode that have not yet been validated:
+     * - array != null
+     * - count >= 0
      */
 
     /**