Documentation and Javadoc polishing

See commit messages.