PR 56747 Document which options exit in help output, submitted by Ville Skyttä
PR 56748 Spelling fixes, submitted by Ville Skyttä
PR 56749 Javadoc 1.8 fixes, submitted by Ville Skyttä