On Wed, 4 Jan 2023 11:40:23 GMT, Christoph <duke at openjdk.org> wrote: > @XueleiFan Unfortunately I still get the same error even after this PR was merged. @Siedlerchr Would you please share the platform information? Thanks! ------------- PR: https://git.openjdk.org/jdk/pull/11793