JS now implements Serializable, does not inherit BalancedTree

darcs-hash:20040923070511-5007d-1e65d690be5054383cfa55787718c52a7e5bb3f8.gz

diff --git a/src/org/ibex/js/JS.java b/src/org/ibex/js/JS.java
index f6b1583..3a11127 100644 (file)
--- a/src/org/ibex/js/JS.java
+++ b/src/org/ibex/js/JS.java
@@ -6,7 +6,7 @@ import java.io.*;
 import java.util.*;
 
 /** The minimum set of functionality required for objects which are manipulated by JavaScript */
-public class JS /*extends org.ibex.util.BalancedTree*/{ 
+public class JS /*extends org.ibex.util.BalancedTree*/ implements Serializable { 
 
     public static boolean checkAssertions = false;