package ibex.xt;
-import ibex.js.JS;
-import ibex.js.JSScope;
-
-import ibex.util.*;
-import java.util.*;
-
import java.io.StringReader;
import java.io.Writer;
import java.io.IOException;
+import java.util.*;
+import ibex.util.*;
+
+import ibex.js.JS;
+import ibex.js.JSScope;
+
public class JSElement extends JSScope implements XML.Element {
protected XML.Element wrapped;