Uses of Class
org.checkerframework.checker.lock.qual.EnsuresLockHeld