fixed a stupid bug

Author: StevenArzt

soot-infoflow/src/soot/jimple/infoflow/data/pathBuilders/ContextSensitivePathBuilder.java

@@ -243,6 +243,13 @@ public void computeTaintPaths(Set<AbstractionAtSink> res) {
 	 * Method that is called when the taint paths have been computed
 	 */
 	protected void onTaintPathsComputed() {
+		shutdown();
+	}
+
+	/**
+	 * Terminates the internal executor and cleans up all resources that were used
+	 */
+	public void shutdown() {
 		executor.shutdown();
 	}
 

soot-infoflow/src/soot/jimple/infoflow/data/pathBuilders/DefaultPathBuilderFactory.java

@@ -56,7 +56,7 @@ public void computeTaintPaths(Set<AbstractionAtSink> res) {
 			try {
 				super.computeTaintPaths(res);
 			} finally {
-				((RepeatableContextSensitivePathBuilder) innerBuilder).onTaintPathsComputed();
+				((RepeatableContextSensitivePathBuilder) innerBuilder).shutdown();
 			}
 		}