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*/{
public static boolean checkAssertions = false;