On Thu, 7 Oct 2021 15:12:33 GMT, Sean Mullan <mul...@openjdk.org> wrote:
>> Looks like it's required if there's a @build directive > > Ok. It might be necessary because there is already a `@build` there. ------------- PR: https://git.openjdk.java.net/jdk/pull/5841
