RFR: JDK-8238503 Remove unused field and accessor for docLocale from ToolOptions

[Jonathan Gibbons]

Correction: I've not yet pushed this change, and can fix that dead 
parameter before pushing.

-- Jon


On 02/06/2020 07:49 AM, Jonathan Gibbons wrote:
> Hannes,
>
> Good catch.  The file manager is used in preprocess, to set up the 
> doclet, but you
> are correct that it is not used via the parameter.
>
> I've already pushed the basic work, so I'll file a separate issue to 
> clean this up.
>
> -- Jon