On Fri, 12 Feb 2021 22:32:41 GMT, Leo Korinth <lkorinth at openjdk.org> wrote: > This code is not used any more. Looks good, and trivial. ------------- Marked as reviewed by kbarrett (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/2558