Fix: Use decrementAndGet

Author: MarcMil

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

@@ -36,7 +36,7 @@ public void execute(Runnable command) {
 			@Override
 			public void run() {
 				command.run();
-				int c = counter.getAndDecrement();
+				int c = counter.decrementAndGet();
 				if (c == 0) {
 					synchronized (obj) {
 						obj.notify();