/** Returns the last Hermes session node that was in a selection path. */ public HermesTreeNode getLastSelectedHermesTreeNode() { if (lastSelectedHermesTreeNode == null) { return model.getFirstHermesTreeNode(); } else { return lastSelectedHermesTreeNode; } }
public void nodeStructureChanged(TreeNode node) { model.nodeStructureChanged(node); }
public Collection<String> getAllHermesIds() { return model.getAllHermesIds(); }
public Collection<MessageStore> getMessageStores() { return model.getMessageStores(); }