root.add(createNode("COPYING.DOC.txt",
root.add(createNode("jeditresource:/doc/COPYING.DOC.txt",
	private void createTOC()	{		DefaultMutableTreeNode root = new DefaultMutableTreeNode();		root.add(createNode("welcome.html",			jEdit.getProperty("helpviewer.toc.welcome")));		root.add(createNode("README.txt",			jEdit.getProperty("helpviewer.toc.readme")));		root.add(createNode("NEWS.txt",			jEdit.getProperty("helpviewer.toc.news")));		root.add(createNode("TODO.txt",			jEdit.getProperty("helpviewer.toc.todo")));		root.add(createNode("CHANGES.txt",			jEdit.getProperty("helpviewer.toc.changes")));		root.add(createNode("COPYING.txt",			jEdit.getProperty("helpviewer.toc.copying")));		root.add(createNode("COPYING.DOC.txt",			jEdit.getProperty("helpviewer.toc.copying-doc")));		loadUserGuideTOC(root);		DefaultMutableTreeNode pluginDocs = new DefaultMutableTreeNode(			jEdit.getProperty("helpviewer.toc.plugins"),true);		EditPlugin[] plugins = jEdit.getPlugins();		for(int i = 0; i < plugins.length; i++)		{			EditPlugin plugin = plugins[i];			EditPlugin.JAR jar = plugin.getJAR();			if(jar == null)				continue;			String name = plugin.getClassName();			String docs = jEdit.getProperty("plugin." + name + ".docs");			String label = jEdit.getProperty("plugin." + name + ".name");			if(docs != null)			{				if(label != null && docs != null)				{					URL url = jar.getClassLoader()						.getResource(docs);					if(url != null)					{						pluginDocs.add(createNode(							url.toString(),label));					}				}			}		}		root.add(pluginDocs);		tocModel = new DefaultTreeModel(root);	}