Re: 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