On Mon, 12 Jul 2021 20:39:53 GMT, Christoph Langer <clanger at openjdk.org> wrote: > The change for JDK-8257001 left an obsolete int field. Remove it. Marked as reviewed by vtewari (Committer). ------------- PR: https://git.openjdk.java.net/jdk/pull/4759