On Tue, 13 Oct 2020 20:31:16 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > 8254029: ObjectMonitor cleanup/minor bug-fix changes extracted from JDK-8253064 Marked as reviewed by dholmes (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/641