RFR: JDK-8255032: Conflict between recent pushes breaks the build

[Vicente Romero]

On Mon, 19 Oct 2020 21:42:51 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:

> The patch resolves a bad merge between two recent changes.
> 
> The `DocletEnvironment docEnv` parameter no longer needs to be passed around.

looks good

-------------

Marked as reviewed by vromero (Reviewer).

PR: https://git.openjdk.java.net/jdk/pull/752