}
    private void initSocietyNames() {      // initialize known society names      Enumeration nodes = root.depthFirstEnumeration();      while (nodes.hasMoreElements()) {	DefaultMutableTreeNode node = 	  (DefaultMutableTreeNode)nodes.nextElement();	if (node.isLeaf()) {	  Object o = node.getUserObject();	  if (o instanceof SocietyComponent)	    societyNames.add(((SocietyComponent)o).getSocietyName());	}      }    }