hg: jdk9/dev/langtools: 8160135: The Html doclet handles options incorrectly

[kumar.x.srinivasan at oracle.com]

Changeset: a1fb25b5ee6d
Author:    ksrini
Date:      2016-06-24 16:00 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/langtools/rev/a1fb25b5ee6d

8160135: The Html doclet handles options incorrectly
Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/ConfigurationImpl.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/standard.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/Configuration.java