On Fri, 20 Nov 2020 20:14:23 GMT, Mandy Chung <mch...@openjdk.org> wrote:
>> Hi Mandy, >> thanks for taking the time to explore all the different options, >> >> The solution 1 is fine for me. > > Thanks Remi. I agree solution 1 is the best after all things considered. ------------- PR: https://git.openjdk.java.net/jdk/pull/313