From e68d517ba21db2b8396953c8b9d31caeb70a8e1f Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Thu, 3 May 2012 17:18:22 +0000
Subject: [PATCH] Fix the thread safe problem

---
 Robust/src/ClassLibrary/MGC/gnu/ReentrantLock.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/ClassLibrary/MGC/gnu/ReentrantLock.java b/Robust/src/ClassLibrary/MGC/gnu/ReentrantLock.java
index a6abc7b4..6415fc91 100644
--- a/Robust/src/ClassLibrary/MGC/gnu/ReentrantLock.java
+++ b/Robust/src/ClassLibrary/MGC/gnu/ReentrantLock.java
@@ -319,7 +319,7 @@ public class ReentrantLock implements /*Lock, java.io.*/Serializable {
      *
      * @throws InterruptedException if the current thread is interrupted
      */
-    public void lockInterruptibly() throws InterruptedException {
+    public synchronized void lockInterruptibly() throws InterruptedException {
 	Thread callingThread = Thread.currentThread();
 	while(isLocked && lockedBy != callingThread){
 	    wait();
-- 
2.34.1