On Wed, 21 Jun 2023 06:50:40 GMT, David Holmes <dholmes at openjdk.org> wrote: >But as this seems a personal style preference I'm not really seeing a reason to make the change. Thank you David, I'm withdrawing the changes. ------------- PR Comment: https://git.openjdk.org/jdk/pull/14137#issuecomment-1600322387