Make cachestats nonstatic and remove shutdown hook

Author: magoorden

src/main/java/com/github/javabdd/BDDFactory.java

@@ -1329,7 +1329,7 @@ public String toString() {
     /**
      * Singleton object for cache statistics.
      */
-    protected static CacheStats cachestats = new CacheStats();
+    protected CacheStats cachestats = new CacheStats();
 
     /**
      * <p>Return the current cache statistics for this BDD factory.</p>

src/main/java/com/github/javabdd/JFactory.java

@@ -54,17 +54,8 @@ private JFactory() { }
     public static BDDFactory init(int nodenum, int cachesize) {
         BDDFactory f = new JFactory();
         f.initialize(nodenum, cachesize);
-        if (cachestats.enabled) addShutdownHook(f);
         return f;
     }
-
-    static void addShutdownHook(final BDDFactory f) {
-        Runtime.getRuntime().addShutdownHook(new Thread() {
-            public void run() {
-                System.out.println(f.getCacheStats().toString());
-            }
-        });
-    }
 
     boolean ZDD = false;