Correct acquireUninterruptibly() method in assignment2