#75 No longer recommend to keep 'FLUSH_CACHE_ON_GC' set to 'true'.

Author: dhendriks

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

@@ -38,7 +38,7 @@ public class JFactory extends BDDFactoryIntImpl {
 
     /**
      * Flush the operation cache on every garbage collection. If this is false, we only clean the collected entries on
-     * every GC, rather than emptying the whole cache. For most problems, you should keep this set to true.
+     * every GC, rather than emptying the whole cache.
      */
     public static boolean FLUSH_CACHE_ON_GC = false;