On Fri, 11 Mar 2022 14:44:19 GMT, Goetz Lindenmaier <goetz at openjdk.org> wrote: > A test fix. Had to adapt ProblemList, rest applies clean. > Marking as /clean Marked as reviewed by mdoerr (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk11u-dev/pull/882