RFR: 8300267: Remove duplicated setter/getter for do_not_unlock

[Coleen Phillimore]

On Tue, 17 Jan 2023 15:18:25 GMT, Robbin Ehn <rehn at openjdk.org> wrote:

> Hi please consider.
> 
> Testing t1 + zero build

Looks good!

-------------

Marked as reviewed by coleenp (Reviewer).

PR: https://git.openjdk.org/jdk/pull/12044