Update Mutex3.java