import java.util.*;
/** The minimum set of functionality required for objects which are manipulated by JavaScript */
-public interface JS extends Pausable {
+public interface JS {
/** Returns an enumeration of the keys in this object. */
public JS.Enumeration keys() throws JSExn;