157         private final Object lock;  field in Main.TimedWait
159         public TimedWait(Object lock) {  in TimedWait()
176         private final Object lock;  field in Main.Wait
178         public Wait(Object lock) {  in Wait()
195         private final Object lock;  field in Main.SyncAndWork
197         public SyncAndWork(Object lock) {  in SyncAndWork()
213     private final static Map<Operation, Double> createDefaultFrequencyMap(Object lock) {  in createDefaultFrequencyMap()
227     private final static Map<Operation, Double> createLockFrequencyMap(Object lock) {  in createLockFrequencyMap()
242             Object lock, String arg) {  in updateFrequencyMap()
306         Object lock = new Object();  in parseAndRun()  local
362                                final Object lock, Map<Operation, Double> frequencyMap)  in runTest()
471     private final Object lock;  field in Main
476     private Main(Object lock, int id, Operation[] operations) {  in Main()