On Wed, 13 Apr 2022 18:02:14 GMT, Pavel Rappo <pra...@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 <pra...@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