workspace.setSelection(newNode);
  private DefaultMutableTreeNode addSocietyToWorkspace(SocietyComponent sc,						       DefaultMutableTreeNode node) {    DefaultMutableTreeNode newNode =       new DefaultMutableTreeNode(sc, false);    addNode(node, newNode);    societyNames.add(sc.getSocietyName());    installListeners(sc);    return newNode;  }