[Javabdd-checkins] JavaBDD/net/sf/javabdd JFactory.java,1.20,1.21 MicroFactory.java,1.9,1.10 BDDException.java,1.1,1.2

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

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

Modified Files:
	JFactory.java MicroFactory.java BDDException.java 
Log Message:
Added UID for serialization.

Index: BDDException.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/BDDException.java,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** BDDException.java	16 Oct 2004 02:58:57 -0000	1.1
--- BDDException.java	29 Apr 2005 06:43:31 -0000	1.2
***************
*** 11,14 ****
--- 11,19 ----
   */
  public class BDDException extends RuntimeException {
+     /**
+      * Version ID for serialization.
+      */
+     private static final long serialVersionUID = 3761969363112243251L;
+     
      public BDDException() {
          super();

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/JFactory.java,v
retrieving revision 1.20
retrieving revision 1.21
diff -C2 -d -r1.20 -r1.21
*** JFactory.java	17 Apr 2005 10:21:46 -0000	1.20
--- JFactory.java	29 Apr 2005 06:43:31 -0000	1.21
***************
*** 607,610 ****
--- 607,615 ----
  
      private static class JavaBDDException extends BDDException {
+         /**
+          * Version ID for serialization.
+          */
+         private static final long serialVersionUID = 3257289144995952950L;
+ 
          public JavaBDDException(int x) {
              super(errorstrings[-x]);
***************
*** 612,616 ****
      }
  
!     private static class ReorderException extends RuntimeException {}
      
      static final int bddtrue = 1;
--- 617,626 ----
      }
  
!     private static class ReorderException extends RuntimeException {
!         /**
!          * Version ID for serialization.
!          */
!         private static final long serialVersionUID = 3256727264505772345L;
!     }
      
      static final int bddtrue = 1;

Index: MicroFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/MicroFactory.java,v
retrieving revision 1.9
retrieving revision 1.10
diff -C2 -d -r1.9 -r1.10
*** MicroFactory.java	17 Apr 2005 10:21:46 -0000	1.9
--- MicroFactory.java	29 Apr 2005 06:43:31 -0000	1.10
***************
*** 1225,1228 ****
--- 1225,1233 ----
      
      private static class JavaBDDException extends BDDException {
+         /**
+          * Version ID for serialization.
+          */
+         private static final long serialVersionUID = 3257289123604607538L;
+ 
          public JavaBDDException(int x) {
              super(errorstrings[-x]);