On Fri, 4 Apr 2025 15:03:32 GMT, Jaikiran Pai <j...@openjdk.org> wrote:
>> Another possibility is to run in /othervm mode - then we don't care... > > Yes, I think othervm would be fine. In fact, I was adding a review comment in > another context, where I suspect we might be forced to use the othervm mode > anyway. Switched to `othervm` in cc70d926dbc867ecf8f3390c76ccb02888c8e8d8. > I was adding a review comment in another context, where I suspect we might be > forced to use the othervm mode anyway. @jaikiran, curious, where is it? ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/24154#discussion_r2030635525