Hi! I was unable to add the openjfx to the PR on github and was unsure which other mailing list is right for discussing this change, hence I am sending it here. If this is the wrong mailing list, pardon me and kindly point me in the right direction.
The related pull request is https://github.com/openjdk/jdk/pull/978 and the webrev is available at https://openjdk.github.io/cr/?repo=jdk&pr=978&range=00. Thank you. Regards, Kartik
