On Mon, 15 Aug 2022 07:14:36 GMT, Iris Clark <[email protected]> wrote:
>> Since it is internal API I think that unnecessarily generous. >> It shouldn't be called anyway. > > Sounds reasonable. Maybe in time it can be removed, which removes the temptation to use it completely. ------------- PR: https://git.openjdk.org/jdk/pull/9863
