RFR: 8283864: Clean up DocFinder and friends [v2]

[Jonathan Gibbons]

On Thu, 14 Apr 2022 12:02:03 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

>> A clean-up to facilitate more clean-up in the future.
>
> Pavel Rappo has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Address feedback

Marked as reviewed by jjg (Reviewer).

src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/DocFinder.java line 136:

> 134:         }
> 135: 
> 136:         private Input copy() {

��

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

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