home *** CD-ROM | disk | FTP | other *** search
- import java.util.Vector;
- import javax.swing.tree.DefaultMutableTreeNode;
- import org.w3c.dom.Node;
-
- public class ElemNode extends DefaultMutableTreeNode {
- // $FF: renamed from: e org.w3c.dom.Node
- Node field_0;
-
- ElemNode(Node var1) {
- this.field_0 = var1;
- }
-
- Vector childrenVector() {
- return super.children;
- }
-
- public String toString() {
- return this.field_0.toString();
- }
- }
-