The section "Unmodifiable Lists" of the List class specification describes the required characteristics of the List instances returned by several APIs. The characteristics omit mention of the RandomAccess interface. Such lists should be specified to implement RandomAccess. The implementations in fact do implement RandomAccess, so this is bringing the specification in line with the implementation.