On Tue, 29 Sep 2020 22:20:03 GMT, Brian Burkhalter <bpb at openjdk.org> wrote: > Please review this simple change to clean up some warnings encountered when javadoc is run. Marked as reviewed by darcy (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/415