On Tue, 6 Jul 2021 23:11:35 GMT, Kim Barrett <kbarrett at openjdk.org> wrote: > Still good. I'd also be fine with removal of that questionable "+ 3". I filed https://bugs.openjdk.java.net/browse/JDK-8269986 to remove the "+3" ------------- PR: https://git.openjdk.java.net/jdk/pull/4675