"users-guide/" + href,title);
"jeditresource:/doc/users-guide/" + href,title);
		public void endElement(String name)		{			if(name == null)				return;			if(name.equals("TITLE"))			{				DefaultMutableTreeNode newNode = createNode(					"users-guide/" + href,title);				node.add(newNode);				nodes.push(node);				node = newNode;			}			else if(name.equals("ENTRY"))				node = (DefaultMutableTreeNode)nodes.pop();		}