On Mon, 2 Dec 2024 20:40:23 GMT, Eirik Bjørsnøs <eir...@openjdk.org> wrote:
>> Yes, with Sean's changes in #22418, GetPropertyAction et.al. is deleted. > > @RogerRiggs Alan may have referred to the import of `java.util.Properties`. Right, thanks ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/22497#discussion_r1866581277
