Hi all,
Here's an updated webrev for this change. The general direction of the change is
the same as before. Differences are primarily additional wording in a few
relevant places, plus editorial and markup tweaks. Highlights of changes from
the previous webrev include:
- addition of FIXME comment and reference to javadoc bug report, where doc
comment from interface cannot be inherited
- tuned up wording around operations that depend on membership semantics of
more than one collection
- updated wording about membership semantics in Collections.disjoint()
- added performance-related @implNote to List.removeAll/retainAll
- various markup fixes
Webrev:
http://cr.openjdk.java.net/~smarks/reviews/6394757/webrev.1/
Bug:
https://bugs.openjdk.java.net/browse/JDK-6394757
Previous review thread:
http://mail.openjdk.java.net/pipermail/core-libs-dev/2019-May/060007.html
Thanks,
s'marks
