public JTreeDemo() {
}
/** Create a Swing GUI containing the document */
protected void process(Document document) throws Exception {
DocumentTreeModel treeModel = new DocumentTreeModel(document);
JTree tree = new JTree(treeModel);
JFrame frame = new JFrame("JTreeDemo: " + document.getName());
frame.setSize(300, 300);
frame.setLocation(100, 100);