ReusableExecutor: add missing finally block

Author: MarcMil

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

@@ -35,11 +35,14 @@ public void execute(Runnable command) {
 
 			@Override
 			public void run() {
-				command.run();
-				int c = counter.decrementAndGet();
-				if (c == 0) {
-					synchronized (obj) {
-						obj.notify();
+				try {
+					command.run();
+				} finally {
+					int c = counter.decrementAndGet();
+					if (c == 0) {
+						synchronized (obj) {
+							obj.notify();
+						}
 					}
 				}
 			}