diff --git a/JavaBDD/NQueens.class b/JavaBDD/NQueens.class
index d48679cae7b0c68a695fb2df2d6d6874c77d85d7..df8b68ba3b7ca8a5f0f099d972cb1334201a0d01 100644
Binary files a/JavaBDD/NQueens.class and b/JavaBDD/NQueens.class differ
diff --git a/JavaBDD/RubiksCube.class b/JavaBDD/RubiksCube.class
index ec626d5468ce66dee69a7ca27eeb742ec6a63044..ab9973a98c612d83356aed71b694dd60a7bab2f0 100644
Binary files a/JavaBDD/RubiksCube.class and b/JavaBDD/RubiksCube.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDD$1.class b/JavaBDD/net/sf/javabdd/BDD$1.class
index 18123a94919abbda62c971b88680ff58a95b904d..2be0dc5cd3394fe3604017b450d7c85720b53bbc 100644
Binary files a/JavaBDD/net/sf/javabdd/BDD$1.class and b/JavaBDD/net/sf/javabdd/BDD$1.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDD$BDDIterator.class b/JavaBDD/net/sf/javabdd/BDD$BDDIterator.class
index e1ca74fdae94075c0938be09625a31fdf5c28ae6..66219e35612cbc7eb8e2aac13a6c490715baf712 100644
Binary files a/JavaBDD/net/sf/javabdd/BDD$BDDIterator.class and b/JavaBDD/net/sf/javabdd/BDD$BDDIterator.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDD$BDDToString.class b/JavaBDD/net/sf/javabdd/BDD$BDDToString.class
index 2989c9ec349ead973fda5a99de7c088f04d064cf..a5e88d00d3697659312d500118a853fc9ac66957 100644
Binary files a/JavaBDD/net/sf/javabdd/BDD$BDDToString.class and b/JavaBDD/net/sf/javabdd/BDD$BDDToString.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDD$OutputBuffer.class b/JavaBDD/net/sf/javabdd/BDD$OutputBuffer.class
index 7cb3fa3839fcf24485775cd712825e41fa1a1ef5..6271a434f49dd646c17914ad6705765cd6648c77 100644
Binary files a/JavaBDD/net/sf/javabdd/BDD$OutputBuffer.class and b/JavaBDD/net/sf/javabdd/BDD$OutputBuffer.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDD.class b/JavaBDD/net/sf/javabdd/BDD.class
index 10872c173e81d9fcfec1882355b71df2aedc4d10..c41a8a40d29e42ef6a068878f3bc76796908eeff 100644
Binary files a/JavaBDD/net/sf/javabdd/BDD.class and b/JavaBDD/net/sf/javabdd/BDD.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDBitVector.class b/JavaBDD/net/sf/javabdd/BDDBitVector.class
index 09bb60005f81293c7716fac52a960cb5d09bb31e..b8621fcce4e39df57dc091fcc619ab1fca999a7b 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDBitVector.class and b/JavaBDD/net/sf/javabdd/BDDBitVector.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDDomain.class b/JavaBDD/net/sf/javabdd/BDDDomain.class
index 166204069ff06ececc89fbfdd3dba97c58feea96..a3c2c1dba030498182a62310935eb676d5eafed6 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDDomain.class and b/JavaBDD/net/sf/javabdd/BDDDomain.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDException.class b/JavaBDD/net/sf/javabdd/BDDException.class
index 533cbb4c2784d34b662401a34b118997e436ed2a..48e1411f5644ffeb0e87a49ae634a7f4b98387c7 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDException.class and b/JavaBDD/net/sf/javabdd/BDDException.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$BDDOp.class b/JavaBDD/net/sf/javabdd/BDDFactory$BDDOp.class
index 34bf5e8afe5eb065dcf32f0921bb593ff791eec2..8e01d7f8287aba7071f194fd2782cc3b62d75c1d 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDFactory$BDDOp.class and b/JavaBDD/net/sf/javabdd/BDDFactory$BDDOp.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$CacheStats.class b/JavaBDD/net/sf/javabdd/BDDFactory$CacheStats.class
index 7d55ce5773dba85b005766c2fbc3e1f05fbb9aa0..543b90269af3fa3f1bb286c4654cd7d5055b39ed 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDFactory$CacheStats.class and b/JavaBDD/net/sf/javabdd/BDDFactory$CacheStats.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$GCStats.class b/JavaBDD/net/sf/javabdd/BDDFactory$GCStats.class
index 0df1e0e28d36da2b9a9c6e0339752d1ed133768f..4f65ef212bf2a95ef9a0934b0a1d7667399f719c 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDFactory$GCStats.class and b/JavaBDD/net/sf/javabdd/BDDFactory$GCStats.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$LoadHash.class b/JavaBDD/net/sf/javabdd/BDDFactory$LoadHash.class
index 1de4be8ed898aa6618e55d1f1d5cca1cd6bbc055..2cb21078cf3973be6a00c79ce69758b2eeeaca40 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDFactory$LoadHash.class and b/JavaBDD/net/sf/javabdd/BDDFactory$LoadHash.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$ReorderMethod.class b/JavaBDD/net/sf/javabdd/BDDFactory$ReorderMethod.class
index b591654fcdd4b16dc2f68a350c3348f562c42064..86a7cf0287ae82cf080bc50565eb435efd45af0e 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDFactory$ReorderMethod.class and b/JavaBDD/net/sf/javabdd/BDDFactory$ReorderMethod.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory$ReorderStats.class b/JavaBDD/net/sf/javabdd/BDDFactory$ReorderStats.class
index d333bb9a368b70ecc5cf55a24082ccb2653355f0..fe3da4cbf3e5c48e15e84799057d39c9d4f91c91 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDFactory$ReorderStats.class and b/JavaBDD/net/sf/javabdd/BDDFactory$ReorderStats.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory.class b/JavaBDD/net/sf/javabdd/BDDFactory.class
index 08ccdf944436194e5e30d301d6393e20c4187b09..f1c93d890ad4e7a35c59433e0d71ee432b92f678 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDFactory.class and b/JavaBDD/net/sf/javabdd/BDDFactory.class differ
diff --git a/JavaBDD/net/sf/javabdd/BDDFactory.java b/JavaBDD/net/sf/javabdd/BDDFactory.java
index 2dedb50e3add6f6ac8041566e4bb241b4f4cfdc0..cd2d704b0f94b02ab60e71bb5f30455fa9982338 100644
--- a/JavaBDD/net/sf/javabdd/BDDFactory.java
+++ b/JavaBDD/net/sf/javabdd/BDDFactory.java
@@ -1703,7 +1703,7 @@ public abstract class BDDFactory {
     
     protected static void bdd_default_gbchandler(boolean pre, GCStats s) {
         if (!pre) {
-            System.err.println(s.toString());
+            //System.err.println(s.toString());
         }
     }
     
@@ -1726,13 +1726,13 @@ public abstract class BDDFactory {
         int verbose = 1;
         if (verbose > 0) {
             if (prestate) {
-                System.out.println("Start reordering");
+                //System.out.println("Start reordering");
                 s.usednum_before = getNodeNum();
                 s.time = System.currentTimeMillis();
             } else {
                 s.time = System.currentTimeMillis() - s.time;
                 s.usednum_after = getNodeNum();
-                System.out.println("End reordering. "+s);
+                //System.out.println("End reordering. "+s);
             }
         }
     }
diff --git a/JavaBDD/net/sf/javabdd/BDDPairing.class b/JavaBDD/net/sf/javabdd/BDDPairing.class
index d04c23dc6cdb8660d3b67d6dfb86529638ee851a..f072f8248873d3b184c3466945e489cbc6f67092 100644
Binary files a/JavaBDD/net/sf/javabdd/BDDPairing.class and b/JavaBDD/net/sf/javabdd/BDDPairing.class differ
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDD.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDD.class
index c491ab0a79d87db26e583d8791d965283ffd36b0..c7114e830ca8fd8ed874af9e2fbafa7eb64b1e85 100644
Binary files a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDD.class and b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDD.class differ
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDBitVector.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDBitVector.class
index 5c06c00013b32255d2b215c6f587774550c60f51..48e9b7b0d4aab541ca3b9484fbe9017d786715c6 100644
Binary files a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDBitVector.class and b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDBitVector.class differ
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDDomain.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDDomain.class
index 216be83baa57235512e15be17d1657fb181f651f..3fd75071c2e1374e5cb8f3018285a9023ec19535 100644
Binary files a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDDomain.class and b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDDomain.class differ
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairing.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairing.class
index 346ebd440e95b4d74590e081ffa723c72f01b341..7821da803db73d68726c6e22f46cd69bf80a37a5 100644
Binary files a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairing.class and b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairing.class differ
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairingWithFinalizer.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairingWithFinalizer.class
index 1dca5a7948711241aeabbf2df423875e88ec67c5..1c8072d7e83da2d28506fc7185e12787e0437f11 100644
Binary files a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairingWithFinalizer.class and b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDPairingWithFinalizer.class differ
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDWithFinalizer.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDWithFinalizer.class
index ca0458a64849468b6fcc848a015579ba9edd79aa..ed69bece13dfebdcec0b51d60131ad04b318b66e 100644
Binary files a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDWithFinalizer.class and b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyBDDWithFinalizer.class differ
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyFactoryWithFinalizer.class b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyFactoryWithFinalizer.class
index 41d3d00a0badeb42f5a3924ba5e8d28b082550dc..7d987bf8d6093acb0953491186ef8c8e20eebd1c 100644
Binary files a/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyFactoryWithFinalizer.class and b/JavaBDD/net/sf/javabdd/BuDDyFactory$BuDDyFactoryWithFinalizer.class differ
diff --git a/JavaBDD/net/sf/javabdd/BuDDyFactory.class b/JavaBDD/net/sf/javabdd/BuDDyFactory.class
index 29cc5485ea57d329e9b1e34c366ad2425412abe9..9cb3d38d57b37b2ae5c0821185080e5fd9fe89b5 100644
Binary files a/JavaBDD/net/sf/javabdd/BuDDyFactory.class and b/JavaBDD/net/sf/javabdd/BuDDyFactory.class differ
diff --git a/JavaBDD/net/sf/javabdd/CALFactory$CALBDD.class b/JavaBDD/net/sf/javabdd/CALFactory$CALBDD.class
index fb09d01e9baf471d4ec18c9290113c9a58467ab2..3a4c51dad1b7299145916a337ecc8dacb019ee06 100644
Binary files a/JavaBDD/net/sf/javabdd/CALFactory$CALBDD.class and b/JavaBDD/net/sf/javabdd/CALFactory$CALBDD.class differ
diff --git a/JavaBDD/net/sf/javabdd/CALFactory$CALBDDBitVector.class b/JavaBDD/net/sf/javabdd/CALFactory$CALBDDBitVector.class
index ecfdb2617f26eae3095a9e90403b752bb11daab6..722d15cf603d0fbbfc4b3adb370aa6946bb136c3 100644
Binary files a/JavaBDD/net/sf/javabdd/CALFactory$CALBDDBitVector.class and b/JavaBDD/net/sf/javabdd/CALFactory$CALBDDBitVector.class differ
diff --git a/JavaBDD/net/sf/javabdd/CALFactory$CALBDDDomain.class b/JavaBDD/net/sf/javabdd/CALFactory$CALBDDDomain.class
index 8689d34ea270ebaa6039785d3507f9e903ab54ea..6c46d777bc874aea039b4c9746739161342e681a 100644
Binary files a/JavaBDD/net/sf/javabdd/CALFactory$CALBDDDomain.class and b/JavaBDD/net/sf/javabdd/CALFactory$CALBDDDomain.class differ
diff --git a/JavaBDD/net/sf/javabdd/CALFactory$CALBDDPairing.class b/JavaBDD/net/sf/javabdd/CALFactory$CALBDDPairing.class
index d27f290215a8b60dec9eae4f55e0fa895ae262c5..4c743a9e84d2458a8fb0b7283c1862ef70203c76 100644
Binary files a/JavaBDD/net/sf/javabdd/CALFactory$CALBDDPairing.class and b/JavaBDD/net/sf/javabdd/CALFactory$CALBDDPairing.class differ
diff --git a/JavaBDD/net/sf/javabdd/CALFactory.class b/JavaBDD/net/sf/javabdd/CALFactory.class
index c508848fe9b165626c8bac11a084ba89ea6b9caa..f9c2a6ddf73746a44d1809f6ac6f53002dc77388 100644
Binary files a/JavaBDD/net/sf/javabdd/CALFactory.class and b/JavaBDD/net/sf/javabdd/CALFactory.class differ
diff --git a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDD.class b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDD.class
index 5dc9c40aefb0c8aa662fad039e2861fb01ce5bad..809a0cb2a47e71abf59f8a11b66a9763d9fffcdd 100644
Binary files a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDD.class and b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDD.class differ
diff --git a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDBitVector.class b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDBitVector.class
index add2ec30fd9a913fe54b056f651135bbc2ee9792..6e517f052688423ac29780bce0a36510e1912202 100644
Binary files a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDBitVector.class and b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDBitVector.class differ
diff --git a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDDomain.class b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDDomain.class
index 3fb4360ef55622e0a4c4099d6b072468ce3e98ed..b9ce67d712c8d3d306685517d7bd1ab5a7e623ef 100644
Binary files a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDDomain.class and b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDDomain.class differ
diff --git a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDPairing.class b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDPairing.class
index 6940ecf49f467d3e065eab86f4a41af529264cb8..f2f8c4997520fae14b4199964b2ba9b9b54448d9 100644
Binary files a/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDPairing.class and b/JavaBDD/net/sf/javabdd/CUDDFactory$CUDDBDDPairing.class differ
diff --git a/JavaBDD/net/sf/javabdd/CUDDFactory.class b/JavaBDD/net/sf/javabdd/CUDDFactory.class
index d08b5a3b69312afe82cb0bad8a1bae9e6b2f022c..ce3f8271060a592207d6fe3edb5b2e376bada588 100644
Binary files a/JavaBDD/net/sf/javabdd/CUDDFactory.class and b/JavaBDD/net/sf/javabdd/CUDDFactory.class differ
diff --git a/JavaBDD/net/sf/javabdd/FindBestOrder$TryThread.class b/JavaBDD/net/sf/javabdd/FindBestOrder$TryThread.class
index 5a2b4793e1d097ef89ed197f5a0f5f43c7889fb8..aabe823ff8a2c2916a422cddc649093e9008e11a 100644
Binary files a/JavaBDD/net/sf/javabdd/FindBestOrder$TryThread.class and b/JavaBDD/net/sf/javabdd/FindBestOrder$TryThread.class differ
diff --git a/JavaBDD/net/sf/javabdd/FindBestOrder.class b/JavaBDD/net/sf/javabdd/FindBestOrder.class
index 445df4aa139cd8c218af425c7da6650c91f10a89..521b7e68dc08ece83632d0aefd946cd931327981 100644
Binary files a/JavaBDD/net/sf/javabdd/FindBestOrder.class and b/JavaBDD/net/sf/javabdd/FindBestOrder.class differ
diff --git a/JavaBDD/net/sf/javabdd/JDDFactory$bdd.class b/JavaBDD/net/sf/javabdd/JDDFactory$bdd.class
index 37cda9c77cc841f70dca5cc7e6e4f74dc5086938..4bdfba96a2db41dc23cd4b3afa2b27d8b58e61d7 100644
Binary files a/JavaBDD/net/sf/javabdd/JDDFactory$bdd.class and b/JavaBDD/net/sf/javabdd/JDDFactory$bdd.class differ
diff --git a/JavaBDD/net/sf/javabdd/JDDFactory$bddBitVector.class b/JavaBDD/net/sf/javabdd/JDDFactory$bddBitVector.class
index 8f6a35aa74f117ed1c438cadb845ce6ccaa93993..0bff17a0167807bba4cd855198d0e5f6002a70eb 100644
Binary files a/JavaBDD/net/sf/javabdd/JDDFactory$bddBitVector.class and b/JavaBDD/net/sf/javabdd/JDDFactory$bddBitVector.class differ
diff --git a/JavaBDD/net/sf/javabdd/JDDFactory$bddDomain.class b/JavaBDD/net/sf/javabdd/JDDFactory$bddDomain.class
index 6e4d5247414ba142f8a0c364ac8f21d9baa93ff9..9ed78d47673a6e3e66e6fb136813e1c92db1dd92 100644
Binary files a/JavaBDD/net/sf/javabdd/JDDFactory$bddDomain.class and b/JavaBDD/net/sf/javabdd/JDDFactory$bddDomain.class differ
diff --git a/JavaBDD/net/sf/javabdd/JDDFactory$bddPairing.class b/JavaBDD/net/sf/javabdd/JDDFactory$bddPairing.class
index 56d9bb6b42ffdb9e968b87e9c36d12a548343ce5..383d5e3f1068f629ffd2e3428db930353eb4ae7b 100644
Binary files a/JavaBDD/net/sf/javabdd/JDDFactory$bddPairing.class and b/JavaBDD/net/sf/javabdd/JDDFactory$bddPairing.class differ
diff --git a/JavaBDD/net/sf/javabdd/JDDFactory.class b/JavaBDD/net/sf/javabdd/JDDFactory.class
index a548372bb4f8a00286eaabd32f37c804652a4cd2..a2beebb20348ac0ef1d173fd295673e52f3c4b71 100644
Binary files a/JavaBDD/net/sf/javabdd/JDDFactory.class and b/JavaBDD/net/sf/javabdd/JDDFactory.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$1.class b/JavaBDD/net/sf/javabdd/JFactory$1.class
index 7ba6a8c80ffa8d17a1e81f1a9928f9514de88bb2..109a9f314491138eb65b7f81ce2e6f3f3f680c1c 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$1.class and b/JavaBDD/net/sf/javabdd/JFactory$1.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$BddCache.class b/JavaBDD/net/sf/javabdd/JFactory$BddCache.class
index befb604e3b24b4f087b5df6303e92ccf6a372502..e0569ff81f372322cdb5f9e8cd7eeb1bc06e2c87 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$BddCache.class and b/JavaBDD/net/sf/javabdd/JFactory$BddCache.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$BddCacheData.class b/JavaBDD/net/sf/javabdd/JFactory$BddCacheData.class
index d448e3022339583671346a946e12173132cd1c80..f01e60b4322247f0a4d7974fc9c66731fba3bb7c 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$BddCacheData.class and b/JavaBDD/net/sf/javabdd/JFactory$BddCacheData.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataD.class b/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataD.class
index 147a6b546b2504417df56752efdf018a93d464e0..1d5efda56eba5e249406aa3d9e8e5fb174ac5b02 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataD.class and b/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataD.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataI.class b/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataI.class
index 508f895f7469192543093704f8e3e3e8759300bf..579cdf9ddb6d733dc7b133c580f6b9876d722e99 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataI.class and b/JavaBDD/net/sf/javabdd/JFactory$BddCacheDataI.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$BddTree.class b/JavaBDD/net/sf/javabdd/JFactory$BddTree.class
index abf936dd251b57f45479aedc9746d3e7445999d6..2a45506e02e506f096c91fb0edcbdfe4bfc35c09 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$BddTree.class and b/JavaBDD/net/sf/javabdd/JFactory$BddTree.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$JavaBDDException.class b/JavaBDD/net/sf/javabdd/JFactory$JavaBDDException.class
index f58f3f3c5b2a0c7dbbd530ffc2e7c2d7fa3df96b..a2f6d9ebb2841fffcd66e7f71c65396698123a84 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$JavaBDDException.class and b/JavaBDD/net/sf/javabdd/JFactory$JavaBDDException.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$LoadHash.class b/JavaBDD/net/sf/javabdd/JFactory$LoadHash.class
index ac8b7b6d61c01fce4e8ac5ab2076a4a52c828e15..c7f0bb22731f86665a13b78254745d2363aee6c3 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$LoadHash.class and b/JavaBDD/net/sf/javabdd/JFactory$LoadHash.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$ReorderException.class b/JavaBDD/net/sf/javabdd/JFactory$ReorderException.class
index 21c300ff68fc733cde7ef3bc6e9f516cb13cacfe..f4dfedfcfce2e9421183364d85f2270fb82ccc85 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$ReorderException.class and b/JavaBDD/net/sf/javabdd/JFactory$ReorderException.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$bdd.class b/JavaBDD/net/sf/javabdd/JFactory$bdd.class
index 120bc9b0c8e0b32710c127ae46dbab91e1537353..12a88f2fde0f0fe12cc3a168e4b7283a4e050be0 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$bdd.class and b/JavaBDD/net/sf/javabdd/JFactory$bdd.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$bddDomain.class b/JavaBDD/net/sf/javabdd/JFactory$bddDomain.class
index a948ef03d2e23ea46f7fa7d7e20c280a70e7a881..166216eb203dafdf6bb3d0a969dd679d7727cede 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$bddDomain.class and b/JavaBDD/net/sf/javabdd/JFactory$bddDomain.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$bddPair.class b/JavaBDD/net/sf/javabdd/JFactory$bddPair.class
index e9392f84ad96c2ddc9f6e5af3f51f293fe7fd75f..1cb77d7de1ac4d82b16b3f70d0647476d1bca9bf 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$bddPair.class and b/JavaBDD/net/sf/javabdd/JFactory$bddPair.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$bddWithFinalizer.class b/JavaBDD/net/sf/javabdd/JFactory$bddWithFinalizer.class
index afeb77766eac8fb54332fabeb09bfe1433a5631b..9c358ce9a47d57c88a53fe751bef89def531ef5c 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$bddWithFinalizer.class and b/JavaBDD/net/sf/javabdd/JFactory$bddWithFinalizer.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$bvec.class b/JavaBDD/net/sf/javabdd/JFactory$bvec.class
index fddd1b627d8c611846a961038ad571a8a8c6480a..5ad880a2e87ac89f1b674e93891c4999e83de978 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$bvec.class and b/JavaBDD/net/sf/javabdd/JFactory$bvec.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$imatrix.class b/JavaBDD/net/sf/javabdd/JFactory$imatrix.class
index 37b1657833cb13bd9b9fbb90996ae501ae38a8fc..74d7a84769db1e6ce2152cd455bb9b17a135061c 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$imatrix.class and b/JavaBDD/net/sf/javabdd/JFactory$imatrix.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$levelData.class b/JavaBDD/net/sf/javabdd/JFactory$levelData.class
index 9c0932634ae6940dd78014370f12825b1bb5e4d0..43e683b38e6f95c2437d00e7ba717a82fc09761f 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$levelData.class and b/JavaBDD/net/sf/javabdd/JFactory$levelData.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory$sizePair.class b/JavaBDD/net/sf/javabdd/JFactory$sizePair.class
index 3f73736570d6d6436984cac445cb4bd56a496583..7e017877a8a9e2afd803f7f1dfc74a46372c43f0 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory$sizePair.class and b/JavaBDD/net/sf/javabdd/JFactory$sizePair.class differ
diff --git a/JavaBDD/net/sf/javabdd/JFactory.class b/JavaBDD/net/sf/javabdd/JFactory.class
index 431986a1ad67b1fae8c54c4e34dff6ab73025216..e6fb982f93cd3592adc2c1a07ad89dd83669f892 100644
Binary files a/JavaBDD/net/sf/javabdd/JFactory.class and b/JavaBDD/net/sf/javabdd/JFactory.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$1.class b/JavaBDD/net/sf/javabdd/MicroFactory$1.class
index 9edb927cf0520f10a8c6fb96c995de8ccab12207..3570a7ad17bf6ad0f478f45d0177be2b0994fbcf 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$1.class and b/JavaBDD/net/sf/javabdd/MicroFactory$1.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$2.class b/JavaBDD/net/sf/javabdd/MicroFactory$2.class
index 9cb48692ae162a9ac0b4d1f54d4b6e7e0d4d7ec3..fed3662fc312d5d214e6a2585432af91d5c6829d 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$2.class and b/JavaBDD/net/sf/javabdd/MicroFactory$2.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$BddTree.class b/JavaBDD/net/sf/javabdd/MicroFactory$BddTree.class
index dcbce9d41adc8d695c4ef2f3ff0951c0fc440ff0..50958b3e4fb60298243e6f77a60a7b1da5048bdd 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$BddTree.class and b/JavaBDD/net/sf/javabdd/MicroFactory$BddTree.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$JavaBDDException.class b/JavaBDD/net/sf/javabdd/MicroFactory$JavaBDDException.class
index 68447e9e34ca45a81f53b35a8502bf4d6677169d..5ea0b925d87342b09b7501b0e9ad0f70c89a66a4 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$JavaBDDException.class and b/JavaBDD/net/sf/javabdd/MicroFactory$JavaBDDException.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$LoadHash.class b/JavaBDD/net/sf/javabdd/MicroFactory$LoadHash.class
index def445eb430f11594808a660290903f4856f6721..2360662abb5593d86d7a469b0c5ab3881a3b7f84 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$LoadHash.class and b/JavaBDD/net/sf/javabdd/MicroFactory$LoadHash.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache.class
index 4e8bec4709caa37da844f763effe17b27fc6960c..8d5ca9b67e6733069a88f10e64b51686f4af444b 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1.class
index db750f2b399dec810cc60f87f7b825f1bd7e6c2f..a83457e18b712cfd34fa108a13950dc5b9f17608 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1Entry.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1Entry.class
index 50fb32b5ff5dcd0b42f803944f57dc194dd4955d..cf02efce6d9064821b27f8450337a05f8b051036 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1Entry.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache1Entry.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2.class
index 1e716eb046e18a58510eaa95440c8fadcaf69d05..0b457f243d176fcafa109d3e5932a13cccaedb8a 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2Entry.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2Entry.class
index 396f72e10d84124ab96189ef5407574fb56af702..380d67ebb93778f1323455679dcef3255b550e53 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2Entry.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache2Entry.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3.class
index 73a9a89823fe263657ce573d86ca4d05b5a760fd..e848a1d3c8b863e92c4d6e66cc58f361fe0e04d5 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3Entry.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3Entry.class
index 86df04d41c49b7722b2e7cbc767a7b2c1caee3c5..65b3e1136edc9bbdcf2d29ba056148ceae28d5c1 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3Entry.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache3Entry.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4.class
index eb41f353f3ca1eef1fb3b10c923957f068ea663f..78c4320ad0e87dc74754ef656c8bfee48040fda4 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4Entry.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4Entry.class
index 67f791620495bcec82d95fa31a72fec6fe504cab..0e429d89eb44712c257230e3eeb37e6772977969 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4Entry.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCache4Entry.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheD.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheD.class
index dae1d2f9e8a543a7d093c7659d204d8753210b8d..13d4aa277406e3431f0eb92242c11cfe8cac9b30 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheD.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheD.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheDEntry.class b/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheDEntry.class
index 053fcfb58921069292f0d41d44a3c56e38c2a47d..15262149204a9c18be59ccb190b894e1054e9873 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheDEntry.class and b/JavaBDD/net/sf/javabdd/MicroFactory$OpCacheDEntry.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$PairOfInts.class b/JavaBDD/net/sf/javabdd/MicroFactory$PairOfInts.class
index 5e55c6a0f3f12177ed02b53e603b036ce4c689b8..be8436d532862ee83499c53169b74031bb7f123f 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$PairOfInts.class and b/JavaBDD/net/sf/javabdd/MicroFactory$PairOfInts.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$QuadOfInts.class b/JavaBDD/net/sf/javabdd/MicroFactory$QuadOfInts.class
index 0379e166a19a4fdbb82e7da3752210513e29742d..8804d74c9e2a26cfb2aa2c66ce91040d3cf44347 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$QuadOfInts.class and b/JavaBDD/net/sf/javabdd/MicroFactory$QuadOfInts.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$TripleOfInts.class b/JavaBDD/net/sf/javabdd/MicroFactory$TripleOfInts.class
index 0766f7445097542a2d084d3213f68cd589f0c232..caefc2be68511b5b3520941a919ccc6cd5f7b9fc 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$TripleOfInts.class and b/JavaBDD/net/sf/javabdd/MicroFactory$TripleOfInts.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$bdd.class b/JavaBDD/net/sf/javabdd/MicroFactory$bdd.class
index dda406daf362a153421991d657633d370cdd379f..6c0f4534edabfd9967af1fef9c69bff6f5e850cd 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$bdd.class and b/JavaBDD/net/sf/javabdd/MicroFactory$bdd.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$bddDomain.class b/JavaBDD/net/sf/javabdd/MicroFactory$bddDomain.class
index c01ea3908fa08fc4040e282df33e67fc575ed6d7..2bf25b85ee0bf1ed129150bac53454d1fb1b451f 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$bddDomain.class and b/JavaBDD/net/sf/javabdd/MicroFactory$bddDomain.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$bddPair.class b/JavaBDD/net/sf/javabdd/MicroFactory$bddPair.class
index cb23798f71b237773d3f8d1fc96b3f5ae961eb2c..f32c662445125a80f9fe9e8ddb1564416a5fae50 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$bddPair.class and b/JavaBDD/net/sf/javabdd/MicroFactory$bddPair.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$bddWithFinalizer.class b/JavaBDD/net/sf/javabdd/MicroFactory$bddWithFinalizer.class
index d559ed757c8fa06cbb191edb447ba802ee87275f..3d96e6ff5ac373b9de9bdaf883ee63fa4a2171fd 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$bddWithFinalizer.class and b/JavaBDD/net/sf/javabdd/MicroFactory$bddWithFinalizer.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$bvec.class b/JavaBDD/net/sf/javabdd/MicroFactory$bvec.class
index 4ed9e3518795c10b586c71e0abd47d60e469cf52..082607bf52177662e0899a445a69770d8d4acaea 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$bvec.class and b/JavaBDD/net/sf/javabdd/MicroFactory$bvec.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$imatrix.class b/JavaBDD/net/sf/javabdd/MicroFactory$imatrix.class
index de6e719237394c434983edf2d5ef840712479a5a..57c6d76f0da7495c7a8fd2f765d34985e2b57b19 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$imatrix.class and b/JavaBDD/net/sf/javabdd/MicroFactory$imatrix.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$levelData.class b/JavaBDD/net/sf/javabdd/MicroFactory$levelData.class
index f1dbff0e21cedc4b6a6e666d0d21ad060c6fddca..d6c80e7f0be09add385fe23cf7f11bf88bb537b9 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$levelData.class and b/JavaBDD/net/sf/javabdd/MicroFactory$levelData.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory$sizePair.class b/JavaBDD/net/sf/javabdd/MicroFactory$sizePair.class
index da63492a10a479cfd37e1428d150fcd1b5b8e934..ed919578b06a502cacc035435f997f2335815d10 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory$sizePair.class and b/JavaBDD/net/sf/javabdd/MicroFactory$sizePair.class differ
diff --git a/JavaBDD/net/sf/javabdd/MicroFactory.class b/JavaBDD/net/sf/javabdd/MicroFactory.class
index f68b294ef693fac2e82227d7d248cf9b356f56c1..4f63db3773adf5446115bc19be4d469156354e32 100644
Binary files a/JavaBDD/net/sf/javabdd/MicroFactory.class and b/JavaBDD/net/sf/javabdd/MicroFactory.class differ
diff --git a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDD.class b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDD.class
index dde710c146530b15884ce9f9b6affc25d254f99a..f796f8c50e942f14e5f50fe57bf3dfbf255e2ccf 100644
Binary files a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDD.class and b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDD.class differ
diff --git a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDBitVector.class b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDBitVector.class
index aa14203887b23fccac4319ec3e85b7f4fc8a909e..dc291f7dc8aaa6fdf346fe60bed2813ebbd7f6d6 100644
Binary files a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDBitVector.class and b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDBitVector.class differ
diff --git a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDDomain.class b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDDomain.class
index b30a4cbd919d34105255b8dbf37dda637e620097..1f492e30dd4918d5b3f5485dcb0121d44dde8dc8 100644
Binary files a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDDomain.class and b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDDomain.class differ
diff --git a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDPairing.class b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDPairing.class
index a71ec399c7e0fa770c5c4a902cab94f3f3b8d558..ea35e1d4435bccaf7061213af3a34661ecd42916 100644
Binary files a/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDPairing.class and b/JavaBDD/net/sf/javabdd/TestBDDFactory$TestBDDPairing.class differ
diff --git a/JavaBDD/net/sf/javabdd/TestBDDFactory.class b/JavaBDD/net/sf/javabdd/TestBDDFactory.class
index f185edd46230fd7d8d8bbc0fd1ed61d8b5b08179..ae21823b03b218579359bf1a722d7960acf5bfaf 100644
Binary files a/JavaBDD/net/sf/javabdd/TestBDDFactory.class and b/JavaBDD/net/sf/javabdd/TestBDDFactory.class differ
diff --git a/JavaBDD/net/sf/javabdd/TryVarOrder$BDDOperation.class b/JavaBDD/net/sf/javabdd/TryVarOrder$BDDOperation.class
index c7049fcb25677c4fe13a2a20c4980bb6eb8e3338..cadae9eba106f26af8733cf1faf5f67c84affe67 100644
Binary files a/JavaBDD/net/sf/javabdd/TryVarOrder$BDDOperation.class and b/JavaBDD/net/sf/javabdd/TryVarOrder$BDDOperation.class differ
diff --git a/JavaBDD/net/sf/javabdd/TryVarOrder$TryThread.class b/JavaBDD/net/sf/javabdd/TryVarOrder$TryThread.class
index 0791d2343294059095ed4b310b8a055643cf960b..ab66c1c144e5320839ee090834bf412d7a65f4ad 100644
Binary files a/JavaBDD/net/sf/javabdd/TryVarOrder$TryThread.class and b/JavaBDD/net/sf/javabdd/TryVarOrder$TryThread.class differ
diff --git a/JavaBDD/net/sf/javabdd/TryVarOrder.class b/JavaBDD/net/sf/javabdd/TryVarOrder.class
index 5a3c2b220de2951f46e53ba0e437403cdd7b1d2f..2ed3427fcf768447bcb8fdaa3c7d6e31e1f1e348 100644
Binary files a/JavaBDD/net/sf/javabdd/TryVarOrder.class and b/JavaBDD/net/sf/javabdd/TryVarOrder.class differ
diff --git a/JavaBDD/net/sf/javabdd/TypedBDDFactory$1.class b/JavaBDD/net/sf/javabdd/TypedBDDFactory$1.class
index 1ce9a07dbfa7d5ca1cf87ddb8926af2c1dfc183f..8db25cd0f8be05e2cd948bf8f7f1fea9184ea4b8 100644
Binary files a/JavaBDD/net/sf/javabdd/TypedBDDFactory$1.class and b/JavaBDD/net/sf/javabdd/TypedBDDFactory$1.class differ
diff --git a/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDD.class b/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDD.class
index 1b8d0db6142ae0bd7f21497a226450e54eb29b77..8a8df2b555981c0431a28053e5583fdbd2802eff 100644
Binary files a/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDD.class and b/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDD.class differ
diff --git a/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDDomain.class b/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDDomain.class
index 4ea6adfd5019c561ec29e688a6559bdc195b80ab..37ca9751634ee77609a3880fe54b82d69cfc10a7 100644
Binary files a/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDDomain.class and b/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDDomain.class differ
diff --git a/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDPairing.class b/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDPairing.class
index eed31ee315d7911f44fe9b0d301ba3d9bd49369a..a650a8664e9818ca7ee5046ce216c6a1a6f70701 100644
Binary files a/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDPairing.class and b/JavaBDD/net/sf/javabdd/TypedBDDFactory$TypedBDDPairing.class differ
diff --git a/JavaBDD/net/sf/javabdd/TypedBDDFactory.class b/JavaBDD/net/sf/javabdd/TypedBDDFactory.class
index 21b6ce365f97f88ce15420cfc84f53549e2b3f41..fb6d0d0123a3d63c957155d82c0d231b6e07f3f5 100644
Binary files a/JavaBDD/net/sf/javabdd/TypedBDDFactory.class and b/JavaBDD/net/sf/javabdd/TypedBDDFactory.class differ
diff --git a/JavaBDD_tests/bdd/BDDTestCase.class b/JavaBDD_tests/bdd/BDDTestCase.class
new file mode 100644
index 0000000000000000000000000000000000000000..8ced5ed167eb3b239c909c586d1e43d78b0146c6
Binary files /dev/null and b/JavaBDD_tests/bdd/BDDTestCase.class differ
diff --git a/JavaBDD_tests/bdd/BasicTests.class b/JavaBDD_tests/bdd/BasicTests.class
new file mode 100644
index 0000000000000000000000000000000000000000..ce1f7517c24225d24cd917d505ac3896cad0d370
Binary files /dev/null and b/JavaBDD_tests/bdd/BasicTests.class differ
diff --git a/JavaBDD_tests/bdd/CallbackTests.class b/JavaBDD_tests/bdd/CallbackTests.class
new file mode 100644
index 0000000000000000000000000000000000000000..b9cd54e08f7bb6957fbda9a4d1b4f6fe3381c7cf
Binary files /dev/null and b/JavaBDD_tests/bdd/CallbackTests.class differ
diff --git a/JavaBDD_tests/bdd/IteratorTests.class b/JavaBDD_tests/bdd/IteratorTests.class
new file mode 100644
index 0000000000000000000000000000000000000000..9c3f4cffc8a83b70303098cc8b3e179e2e23b274
Binary files /dev/null and b/JavaBDD_tests/bdd/IteratorTests.class differ
diff --git a/JavaBDD_tests/highlevel/NQueensTest$NQueens.class b/JavaBDD_tests/highlevel/NQueensTest$NQueens.class
new file mode 100644
index 0000000000000000000000000000000000000000..940b23b837976810136fe8c4bebfd769164758a1
Binary files /dev/null and b/JavaBDD_tests/highlevel/NQueensTest$NQueens.class differ
diff --git a/JavaBDD_tests/highlevel/NQueensTest.class b/JavaBDD_tests/highlevel/NQueensTest.class
new file mode 100644
index 0000000000000000000000000000000000000000..edb842c5e6f85f7d04bc785e9c4b2d27f0ebdbd1
Binary files /dev/null and b/JavaBDD_tests/highlevel/NQueensTest.class differ
diff --git a/JavaBDD_tests/regression/R1.class b/JavaBDD_tests/regression/R1.class
new file mode 100644
index 0000000000000000000000000000000000000000..1b2d20c3a89e6c6c2fe975164d316d2e4c521ade
Binary files /dev/null and b/JavaBDD_tests/regression/R1.class differ
diff --git a/JavaBDD_tests/regression/R2.class b/JavaBDD_tests/regression/R2.class
new file mode 100644
index 0000000000000000000000000000000000000000..f9b108039c55a61308751776ab4762f5bb59282a
Binary files /dev/null and b/JavaBDD_tests/regression/R2.class differ
diff --git a/JavaBDD_tests/regression/R3.class b/JavaBDD_tests/regression/R3.class
new file mode 100644
index 0000000000000000000000000000000000000000..c8c917f1bf08f243a8e99b00d74b9437eebccedb
Binary files /dev/null and b/JavaBDD_tests/regression/R3.class differ
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedBDDOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedBDDOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..9b548a978c1a66e77a1fde11c66af520810be5c9
Binary files /dev/null and b/JavaBDD_tests/trace/TraceDriver$TracedBDDOperation.class differ
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedCheckOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedCheckOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..cc0faffa68998d869cdff97af6fcc8c4d19151a4
Binary files /dev/null and b/JavaBDD_tests/trace/TraceDriver$TracedCheckOperation.class differ
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedDebugOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedDebugOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..3de24ec48ad91214ef7ba798729fd10725467489
Binary files /dev/null and b/JavaBDD_tests/trace/TraceDriver$TracedDebugOperation.class differ
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..29daa1b15ff41d896e2101d9f6a26321e9478ffb
Binary files /dev/null and b/JavaBDD_tests/trace/TraceDriver$TracedOperation.class differ
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedPrintOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedPrintOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..98495301d4f0ffde965581326d2074f8a5441648
Binary files /dev/null and b/JavaBDD_tests/trace/TraceDriver$TracedPrintOperation.class differ
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedSaveOperation.class b/JavaBDD_tests/trace/TraceDriver$TracedSaveOperation.class
new file mode 100644
index 0000000000000000000000000000000000000000..dcb5377a5c6744fe105e59c8f28d8964ca7d8b41
Binary files /dev/null and b/JavaBDD_tests/trace/TraceDriver$TracedSaveOperation.class differ
diff --git a/JavaBDD_tests/trace/TraceDriver$TracedVariable.class b/JavaBDD_tests/trace/TraceDriver$TracedVariable.class
new file mode 100644
index 0000000000000000000000000000000000000000..01380f9089af6ebd5feba3001629b6f900ce49bf
Binary files /dev/null and b/JavaBDD_tests/trace/TraceDriver$TracedVariable.class differ
diff --git a/JavaBDD_tests/trace/TraceDriver.class b/JavaBDD_tests/trace/TraceDriver.class
new file mode 100644
index 0000000000000000000000000000000000000000..cf48f98d291329ca70c4ba95f63c17217b2d74d1
Binary files /dev/null and b/JavaBDD_tests/trace/TraceDriver.class differ
diff --git a/JavaBDD_tests/trace/TraceSuite.class b/JavaBDD_tests/trace/TraceSuite.class
new file mode 100644
index 0000000000000000000000000000000000000000..be0fdb58fa5cfdb44a372bf7483d54ae351fe3c0
Binary files /dev/null and b/JavaBDD_tests/trace/TraceSuite.class differ