diff --git a/pom.xml b/pom.xml
index be67be05..a4189fca 100644
--- a/pom.xml
+++ b/pom.xml
@@ -3,7 +3,7 @@
     <modelVersion>4.0.0</modelVersion>
     <groupId>de.upb.cs.swt</groupId>
     <artifactId>heros</artifactId>
-    <version>1.2.3-SNAPSHOT</version>
+    <version>1.2.4-SNAPSHOT</version>
     <name>Heros IFDS/IDE Solver</name>
     <description>Heros is a generic implementation of an IFDS/IDE Solver that can be plugged into existing, Java-based
         program analysis frameworks. A reference connector exists for the Soot framework.
@@ -114,7 +114,7 @@
         <dependency>
             <groupId>org.slf4j</groupId>
             <artifactId>slf4j-api</artifactId>
-            <version>1.7.5</version>
+            <version>2.0.17</version>
         </dependency>
         <dependency>
             <groupId>org.hamcrest</groupId>
diff --git a/src/heros/solver/CountLatch.java b/src/heros/solver/CountLatch.java
index 20546965..ddff133a 100644
--- a/src/heros/solver/CountLatch.java
+++ b/src/heros/solver/CountLatch.java
@@ -112,4 +112,12 @@ public boolean isAtZero() {
 		return sync.getCount() == 0;
 	}
 
+	/**
+	 * Returns the current count.
+	 * @return The count
+	 */
+	public int getCount() {
+		return sync.getCount();
+	}
+
 }