On Wed, 31 Jul 2024 18:23:19 GMT, Phil Race <prr at openjdk.org> wrote: > I suggest that you remove the comment but add `@Override` so people know it is an inherited method. I agree. This way would be clearer. ------------- PR Comment: https://git.openjdk.org/jdk/pull/20375#issuecomment-2261164208