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;