[Javabdd-checkins] JavaBDD/org/sf/javabdd BDDFactory.java,1.23,1.24 JavaFactory.java,1.18,NONE

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD/org/sf/javabdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv9880/org/sf/javabdd

Modified Files:
	BDDFactory.java 
Removed Files:
	JavaFactory.java 
Log Message:
Removed JavaFactory, as it has been completely subsumed by JFactory.

--- JavaFactory.java DELETED ---

Index: BDDFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/BDDFactory.java,v
retrieving revision 1.23
retrieving revision 1.24
diff -C2 -d -r1.23 -r1.24
*** BDDFactory.java	20 Jul 2004 21:50:24 -0000	1.23
--- BDDFactory.java	28 Jul 2004 09:36:57 -0000	1.24
***************
*** 60,67 ****
              if (bddpackage.equals("cal"))
                  return CALFactory.init(nodenum, cachesize);
!             if (bddpackage.equals("j"))
                  return JFactory.init(nodenum, cachesize);
-             if (bddpackage.equals("java"))
-                 return JavaFactory.init(nodenum, cachesize);
              if (bddpackage.equals("jdd"))
                  return JDDFactory.init(nodenum, cachesize);
--- 60,65 ----
              if (bddpackage.equals("cal"))
                  return CALFactory.init(nodenum, cachesize);
!             if (bddpackage.equals("j") || bddpackage.equals("java"))
                  return JFactory.init(nodenum, cachesize);
              if (bddpackage.equals("jdd"))
                  return JDDFactory.init(nodenum, cachesize);