DebugJDD: reset tracking data when CUDD is shutdown

This should provide cleaner results if CUDD is started and
shutdown multiple times in a single VM run (e.g., for nailgun
execution).


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11375 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/jdd/DebugJDD.java

@@ -327,10 +327,15 @@ public class DebugJDD
 			}
 		}
 
+		// clean-up data structures
+		nodes.clear();
+		javaRefs.clear();
+		// reset ID counter
+		DebugJDDNode.nextId = 0;
+		
 		if (warningsAreFatal) {
 			throw new RuntimeException("DebugJDD: Leaked references");
 		}
-
 	}
 
 	/** Get the CUDD reference count for the pointer of the JDDNode */