* commit 'f443c5ea2c67285322d4790e5bee4c3c6f6af1ae': Minor corrections to the javadoc overview to reflect late API changes.