hg: jdk/sandbox: 8238503: Remove unused field and accessor for docLocale from ToolOptions

[chris.hegarty at oracle.com]

Changeset: adc5b0998235
Author:    jjg
Date:      2020-02-06 12:44 -0800
URL:       https://hg.openjdk.java.net/jdk/sandbox/rev/adc5b0998235

8238503: Remove unused field and accessor for docLocale from ToolOptions
Reviewed-by: hannesw

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/Start.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/ToolOptions.java