f16b211ebf
* commit '00a82605a17360f5b9005035a75d779a231d5a5c': Minor corrections to the javadoc overview to reflect late API changes.