From a4060f0c1391a6fde2f20006e60b74656da22bd0 Mon Sep 17 00:00:00 2001
From: stellamit <stellamit@440791e1-c2bf-4c1e-ad7c-caf3f8b0ebe8>
Date: Wed, 25 Jan 2012 21:55:04 +0000
Subject: [PATCH] NIHVIVO-3125 (deadlock detected)

---
 .../mannlib/vitro/webapp/reasoner/SimpleReasoner.java        | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java b/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java
index 26a251d64..37e613149 100644
--- a/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java
+++ b/webapp/src/edu/cornell/mannlib/vitro/webapp/reasoner/SimpleReasoner.java
@@ -541,6 +541,7 @@ public class SimpleReasoner extends StatementListener {
         } finally {
             aboxModel.leaveCriticalSection();
         }
+        
         for (Resource ind : subjectList) {
 			if (entailedType(ind,superClass)) {
 				continue;
@@ -551,10 +552,12 @@ public class SimpleReasoner extends StatementListener {
 			    if (inferenceModel.contains(infStmt)) {
 				    inferenceModel.remove(infStmt);
 			    } 
-			    setMostSpecificTypes(ind, inferenceModel, new HashSet<String>());
+			    
             } finally {
                 inferenceModel.leaveCriticalSection();
             }
+			
+			setMostSpecificTypes(ind, inferenceModel, new HashSet<String>());
 		}
 	}