Integrated: 8283864: Clean up DocFinder and friends

Thu Apr 14 15:13:31 UTC 2022

On Wed, 13 Apr 2022 18:02:14 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> A clean-up to facilitate more clean-up in the future.

This pull request has now been integrated.

Changeset: 1cc3c330
Author:    Pavel Rappo <prappo at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/1cc3c330e3223944d2e20b3721ef336c87511e34
Stats:     216 lines in 11 files changed: 54 ins; 50 del; 112 mod

8283864: Clean up DocFinder and friends

Reviewed-by: jjg

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

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