On Wed, 12 Apr 2023 17:05:03 GMT, Marcus Hirt <hirt at openjdk.org> wrote: > Upgrading to the latest version of the Eclipse platform. #479 fixed this. ------------- PR Comment: https://git.openjdk.org/jmc/pull/477#issuecomment-1517459060