1. The default JAVADOC_OPTIONS specify an input encoding (-encoding ISO-8859-1) but do not specify an output encoding, which should be UTF-8 for HTML5 documents. The options should include -docencoding UTF-8


2. The default JAVADOC_OPTIONS include -XDignore.symbol.file=true which is no longer relevant in a modular world. Although harmless, it should be removed.