private void initConfigTree(Configuration c) {
DefaultMutableTreeNode root =
new DefaultMutableTreeNode("Configuration");
CurrentNodeConfiguration curNodeConfig =
c.getCurrentNodeConfiguration();
DefaultMutableTreeNode currentNodeConfig =
new DefaultMutableTreeNode("<html><b>RMI Repository Port:</b>"
+ curNodeConfig.getRmiRepositoryPort()
+ "</html>");
DefaultMutableTreeNode currentNodeConfig2 =
new DefaultMutableTreeNode("<html><b>DB Connection String:</b>\""
+ curNodeConfig.getDbUrl()
+ "\"</html>");
DefaultMutableTreeNode thisNodeConfig =
new DefaultMutableTreeNode("This node configuration");
root.add(thisNodeConfig);