On Fri, 10 Jun 2022 21:44:16 GMT, Weijun Wang <wei...@openjdk.org> wrote:
>> A privilegedGetProperty method? That would be the subject of a new bug I >> think. > > Yes. JDK-8288271 has been created ------------- PR: https://git.openjdk.org/jdk/pull/8319
