Make sure to only synchronize as long as needed

Author: MarcMil

soot-infoflow/src/soot/jimple/infoflow/util/ReusableExecutor.java

@@ -21,9 +21,8 @@ public ReusableExecutor(ExecutorService executor) {
 	}
 
 	public void waitUntilFinished() throws InterruptedException {
-
-		synchronized (obj) {
-			while (counter.get() > 0) {
+		while (counter.get() > 0) {
+			synchronized (obj) {
 				obj.wait();
 			}
 		}