#5 Fix remaining dead code warnings.

Author: dhendriks

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

@@ -2360,7 +2360,7 @@ protected void registerCallback(List callbacks, Object o, Method m) {
                 throw new BDDException("Base object for callback method is the wrong type");
             }
         }
-        if (false) {
+        if (DEBUG) {
             Class[] params = m.getParameterTypes();
             if (params.length != 1 || params[0] != int.class) {
                 throw new BDDException("Wrong signature for callback");

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

@@ -38,6 +38,10 @@ public class JFactory extends BDDFactoryIntImpl {
 
     static final boolean VERIFY_ASSERTIONS = false;
 
+    static final boolean DO_BDD_VALIDATE = false;
+
+    static final boolean PRE_INIT_OP_CACHES = false;
+
     static final boolean SWAPCOUNT = false;
 
     public static final String REVISION = "$Revision: 480 $";
@@ -1946,7 +1950,7 @@ int bdd_apply(int l, int r, int op) {
         }
 
         checkresize();
-        if (false) {
+        if (DO_BDD_VALIDATE) {
             bdd_validate(res);
         }
         return res;
@@ -3345,7 +3349,7 @@ int bdd_exist(int r, int var) {
         }
 
         checkresize();
-        if (false) {
+        if (DO_BDD_VALIDATE) {
             bdd_validate(res);
         }
         return res;
@@ -4754,7 +4758,7 @@ void bdd_init(int initnodesize, int cs) {
     boolean satPolarity;
 
     void bdd_operator_init(int cachesize) {
-        if (false) {
+        if (PRE_INIT_OP_CACHES) {
             applycache = BddCacheI_init(cachesize);
             itecache = BddCacheI_init(cachesize);
             quantcache = BddCacheI_init(cachesize);