8138725: Add options for Javadoc generation

Reviewed-by: jjg
17 files changed