On Thu, 29 Jul 2021 19:56:40 GMT, Markus KARG <github.com+1701815+mk...@openjdk.org> wrote:
>> It's actually a matter of convention but I think it can remain as it is. > > Ok for me, otherwise just clearly tell me and I do change it. I think you can leave it unless someone else thinks otherwise. ------------- PR: https://git.openjdk.java.net/jdk/pull/4263